An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witne…
An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
morluto
mcp
free
No benchmark results have been added yet.