模型与 MCP
插件
jacobian
morluto
A universal, atomic library of mathematics and tools for agents to compose them.
ai-agents
automated-theorem-proving
computer-algebra
cordis