MCP servers tagged symbolic-math

2 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

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