← Top 100 Full directory (1,563)

symbolic_math_mcp

Dev Tools Local

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

Install from GitHub GitHub Docs Glama

How to connect

  1. Glama registry

    View https://glama.ai/mcp/servers/rip2y2f9lq for deploy options, or install from https://github.com/BrosnanYuen/symbolic_math_mcp (see README for MCP config).

  2. GitHub

    Install from https://github.com/BrosnanYuen/symbolic_math_mcp and add the server to your MCP client configuration (see repository README).

Tools

Tool names are not listed in our registry for this server. Use Connect or Install above, then open your MCP client to see the live tool list.