symbolic-math-mcp
A standalone FastMCP server that validates symbolic math proof files in YAML format using the symbolic-math-verify library.
- Score
- 22.5571 signal
- Evidence
- 1 star
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- alekspetrov-documentation-manager58 stars · 11 forks87.240
- zip-compression16 stars · 4 forks73.387
- kukapay-whattimeisit9 stars · 4 forks66.871
What it is
A standalone FastMCP server that validates symbolic math proof files in YAML format using the symbolic-math-verify library.
When to use it
A standalone FastMCP server that validates symbolic math proof files in YAML format using the symbolic-math-verify library.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.