N/A
BrosnanYuen/symbolic_math_mcp
A standalone FastMCP server that validates symbolic math proof files in YAML format using the symbolic-math-verify library.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/BrosnanYuen/symbolic_math_mcp
- Framework mcp
- Sources glama
- First Seen Jun 15, 2026
- Repository github.com/BrosnanYuen/symbolic_math_mcp
Browse more:
Search all agents
Ecosystem Report