jacobian
01MCP server Claude CodeCodexCursor +2
Executable mathematics and independent verification for AI agents. Runs locally from the jacobian npm package.
5 tagged computer-algebra, measured the same way as everything else here.
MCP server Claude CodeCodexCursor +2
Executable mathematics and independent verification for AI agents. Runs locally from the jacobian npm package.
MCP server Claude CodeCodexCursor +2
MCP server "sympy-mcp", hosted remotely at localhost, as configured in sdiehl/sympy-mcp.
MCP server Claude CodeCodexCursor +2
Model Context Protocol server that provides stateful SageMath computations. Runs locally from the sagemath-mcp Python package.
MCP server Claude CodeCodexCursor +2
Token-efficient exact math for AI agents: symbolic engine, ODE suite, optimizer and an optimized-code generator (SymPy + NumPy). Runs locally from the pycodemath Python package.