"author:BrosnanYuen" matching MCP servers:

• symbolic_math_mcp

  BrosnanYuen

  A

  license

  -

  quality

  C

  maintenance

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

  Last updated 2026-06-14

  GPL 3.0