8 tagged math, measured the same way as everything else here.
Browse within: llm-tools 6
MCP server Claude CodeCodexCursor +2
A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs guarantees scaffolds, served over MCP. Runs locally from the mathlas-mcp Python package. Needs 2 environment variables to run.
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.
MCP server Claude CodeCodexCursor +2
MCP server "z39" as configured in alejandroqh/z39. Launched with /home/aquintanar/workspace/z39/target/release/z39 mcp. Needs 2 environment variables to run.
MCP server Claude CodeCodexCursor +2
MCP server "geogebra" as configured in YZDame/geogebra-mcp-server. Runs ./dist/cli.js with node. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
FastMCP server for validating symbolic math YAML files with symbolic-math-verify. Runs locally from the symbolic_math_mcp Python package.
MCP server Claude CodeCodexCursor +2
Calculator, units, statistics for AI agents. Runs locally from the @rog0x/mcp-math-tools npm package.
MCP server Claude CodeCodexCursor +2
Stop hallucinating numbers. MCP server for Ultimath: math on eight independent engines, in parallel. Runs locally from the ultimath-mcp npm package.
rubensgomes-org/calculator-mcp
MCP server Claude CodeCodexCursor +2
A calculator MCP server using the FastMCP framework. Runs locally from the calculator-mcp-rubens Python package.