MCP server Claude CodeCodexCursor +2
FastMCP server for validating symbolic math YAML files with symbolic-math-verify. Runs locally from the symbolic_math_mcp Python package.
not rated 1 1mo ago A
tokens not measured
GPL-3.0
MCP server for symbolic math derivation, calculation, and verification
MCP server Claude CodeCodexCursor +2
FastMCP server for validating symbolic math YAML files with symbolic-math-verify. Runs locally from the symbolic_math_mcp Python package.