模型与 MCP
插件
jacobian
morluto
Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
ai-agents
automated-theorem-proving
computer-algebra
cordis