symbolic-math-mcp

# symbolic_math_mcp `symbolic_math_mcp` is a standalone FastMCP server that validates symbolic math proof files in YAML format. It uses exactly one function from `symbolic-math-verify` for verification: - `symbolic_math_verify.verify_yaml_file()` ## Features - exposes one synchronous MCP tool: `check_symbolic_math` - exposes one synchronous MCP tool for parallel directory validation: `check_symbolic_math_parallel` - supports `stdio://`, `http://`, and `https://` configuration URLs - queues requests above `max_requests` - enforces a total per-request timeout - automatically switches to a free port if the configured HTTP port is already in use ## Requirements - Python 3.11+ - `fastmcp>=3.4.2` - `symbolic-math-verify>=0.1.4` ## Install ```bash python3 -m venv .venv .venv/bin/python -m pip install --upgrade pip .venv/bin/python -m pip install -e . ``` ## Configuration Default configuration file: [config.json](/home/brosnan/symbolic_math_mcp/symbolic_math_mcp/config.json) ```json { "mcp_server_name": "My Symbolic Math MCP Server", "mcp_server_url": "http://localhost:8753", "max_requests": 10, "total_timeout": 600 } ``` ### Notes - `stdio://...` runs the server over stdio. - `http://...` runs the server over FastMCP's streamable HTTP transport. - `https://...` is accepted by the config parser and uses the HTTP transport settings. In practice, TLS is typically terminated by a reverse proxy in front of the process. ## Run From the project directory: ```bash .venv/bin/python run_server.py --config config.json ``` Or after installation: ```bash symbolic-math-mcp --config config.json ``` ## Tool API ### `check_symbolic_math(filename)` - input: absolute path to a `.yaml` symbolic math file - behavior: blocks until `verify_yaml_file(filename)` completes or times out Successful completion: ```json { "status": "Tool call completed!", "filename": "proof.yaml", "result": "Math proofs are valid" } ``` Timeout: ```json { "status": "Tool call …