symbolic_math_mcpBrosnanYuenAlicense-qualityCmaintenanceA standalone FastMCP server that validates symbolic math proof files in YAML format using the symbolic-math-verify library. Last updated 2026-06-14GPL 3.0