- Conduid
- Marketplace
- #computer-algebra
MCP servers tagged computer-algebra
5 live MCP servers tagged "computer-algebra", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with computer-algebra.
Sympy MCP
A MCP server for symbolic manipulation of mathematical expressions
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…
Pycodemath
Token-efficient exact math for AI agents (SymPy + NumPy): symbolic engine, ODE suite, optimizer, code generator.
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…
Mathos Webmcp
Mathburst — a shared live math canvas where learners and AI tutors edit the same objects through 48 native WebMCP tools, with attribution and shared undo.