- Conduid
- Marketplace
- #symbolic-computation
MCP servers tagged symbolic-computation
6 live MCP servers tagged "symbolic-computation", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with symbolic-computation.
abhiphile/fermat-mcp
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs & researchers.
Sagemath MCP
Stateful SageMath MCP server: 40 tools for symbolic math, algebra, number theory, graphs, plotting and claim verification. A persistent Sage session per client, an AST policy in f…
Nsaf MCP Server
The Neuro-Symbolic Autonomy Framework integrates neural, symbolic, and autonomous learning methods into a single, continuously evolving AI agent-building system. This prototype de…
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…
ReasonForge
Modular Mathematics Toolkit MCP Server: 111 tools that give LLMs exact math instead of hallucinated guesses. Routes calculations through SymPy/NumPy/SciPy for provably correct res…
Symbolic Math MCP
MCP server for symbolic math derivation, calculation, and verification