A
licenseA
qualityB
maintenanceAn MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
2
43
MIT
Matching MCP tools:
Matching MCP Connectors:
io.github.n-3inc
net.agri-ja
top.zheng-he
dev.workers.o1labs.sterdan-siterdan-mcp