jacobian
01MCP server Claude CodeCodexCursor +2
Executable mathematics and independent verification for AI agents. Runs locally from the jacobian npm package.
not rated 131 today A
tokens not measured
original MIT
1 tagged theorem-proving, measured the same way as everything else here.