jacobian

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ MIT License

An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.

mcp search agent

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.