MCP servers that ship as code — a repository or a package you install and run locally (usually over stdio). They have no hosted endpoint, so we cannot probe or grade them: instead each one shows its repository, install command, license, stars and when it was last updated.
Collected from GitHub repositories and npm, PyPI, Cargo, Go, Maven, NuGet and RubyGems packages tagged as MCP servers, the official MCP Registry, Docker's MCP catalog, ModelScope, Baidu MCP World, Cline and other public directories; one entry per repository. A server that also offers a hosted endpoint is listed under Remote instead. These entries are not counted in our reachability, verification or readiness statistics.
-
Composable RDF operations in JSON
pypi Apache-2.0 -
Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools
Apache-2.0 ★ 49 -
GA-Bagua Semantic KG: LLM semantic memory layer using Geometric Algebra and I-Ching Bagua taxonomy
-
Computer algebra system in Rust (SymPy engine) with an MCP server so Claude can check your calculations.
MIT -
symath-mcpgithub.com/3akhp/math-mcpupdated this year
Math MCP Server — symbolic computation, calculus, linear algebra, number theory, statistics, and unit conversion via MCP
pypi MIT -
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 front of it, and a hardened container as the real boundary.
MIT ★ 19 -
Free printable math worksheets with answer keys, Pre-Algebra through Calculus, as a remote MCP server (Cursor, Claude, ChatGPT)
-
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
MIT ★ 292 -
Thermodynamic computing in pure Rust: energy-based models, block-Gibbs, parallel tempering, thermodynamic linear algebra, stochastic differentiable programs, a variational compiler onto device topologies, and a joules ledger. Zero deps, wasm-clean, verified against exact physics — and it reaches real Ising silicon through the same trait as a CPU.
Apache-2.0 ★ 2 -
BicMath is a modular Rust computation engine for mathematics, statistics, finance, and optimization. Available through MCP, CLI, Rust API, and WebAssembly—with exact arithmetic, explicit precision, and verifiable results.
MIT -
A MCP server for symbolic manipulation of mathematical expressions
Apache-2.0 ★ 85 -
Composable mathematics tools for agents
MIT ★ 370 -
MATLAB-compatible runtime for humans & AIs
0BSD ★ 2 -
A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators
MIT -
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
npm GPL-3.0-or-later -
ga-semantics-mcpgithub.com/trac41799/ga-bagua-semantic-kgupdated this year
GA-Bagua Semantic KG — MCP server for LLM semantic memory (Claude, Cursor, OpenCode, etc.)
npm MIT OR Apache-2.0 -
Intelligent code editing powered by tree-sitter-gap, GAP code running, a help system, language model tools and MCP support
MIT ★ 4 -
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. MCP server + CLI.
GPL-3.0 ★ 3 -
Backend-agnostic math compute kernel: symbolic, numeric, units and control, with provenance (backend, version, assumptions, verification) in every answer. Python API, CLI, HTTP and MCP.
MIT -
Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification harness.
Apache-2.0 ★ 4 -
Production-grade Rust math CLI — 11 core plus optional time/unit/FX domains, symbolic calculus, arbitrary precision, interactive REPL, batch mode, and HTTP + MCP server mode with microsecond caching
NOASSERTION -
Sparse linear solvers (Neumann, Jacobi, Gauss-Seidel, conjugate gradient), PageRank and local push as an MCP server, CLI and library. Zero-dependency core: @ruvnet/sublinear-core.
npm MIT OR Apache-2.0 -
Checks the math in your code: proves a function equals its formula or returns the exact input that breaks it. Also an exact math engine and MCP server for AI agents (SymPy + NumPy).
MIT ★ 8 -
A stand-alone Mathematica-style symbolic math system: a from-scratch Rust kernel (exact arithmetic, pattern matching, CAS) plus a Python web notebook with SVG plots, an HTTP API, and an MCP server. No external crates or pip packages.
MIT -
The Mathematics Universe: a 25-chapter engineering-mathematics core, 74 chapters across nine specialization tracks and a research frontier, and an appendix of proofs. Markdown + LaTeX Obsidian vault with Desmos graphs, crafted figures, a 1,400-page PDF and an MCP server.
MIT ★ 1