MCP servers tagged symbolic-math

4 live MCP servers tagged "symbolic-math", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with symbolic-math.

live servers

avg trust

most stars

Pycodemath

cybersora9

Token-efficient exact math for AI agents (SymPy + NumPy): symbolic engine, ODE suite, optimizer, code generator.

★ 6updated 22 days agoMIT

Nsforge MCP

Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification h…

Symbolic Math MCP

MCP server for symbolic math derivation, calculation, and verification

Bicmath

nikoma

BicMath is a modular Rust computation engine for mathematics, statistics, finance, and optimization. Available through MCP, CLI, Rust API, and WebAssembly—with exact arithmetic, e…