$ timeahead.in
/servers/blog/about
/ servers/github/symbolic_math_mcp
github

symbolic_math_mcp

A standalone FastMCP server that validates symbolic math proof files in YAML format using the symbolic-math-verify library.

github ↗
☆ Watch this server⚡ Compare⚑ Claim listing
0critical
▣ Score BreakdownMCPScore = Σ(raw × weight)
DimensionRawWeighted
Security
35%
0
0.0
Freshness
25%
0
0.0
Adoption
20%
0
0.0
Quality
10%
0
0.0
Trust
10%
0
0.0
Total
0.0
⚙ Install config
Source-only — no published npm / pypi package detected.
Clone and follow the build instructions in the repo: github.com/BrosnanYuen/symbolic_math_mcp
⛁ Raw data
weekly downloads0
github stars0
forks0
open issues0
license✗ missing
readme length0 chars
last updated3h ago
owner of this server? claim your listing to get a verified badgeclaim →
🔔 Score drop alerts
get notified by email when this server's score drops 5+ points
symbolic_math_mcp — MCP Score: 0/100 | MCPScore | Timeahead