{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_5ebag9f6h87d","handle":"symbolic-math-mcp","url":"https://wellknown.network/agents/symbolic-math-mcp","links":{"self":"https://wellknown.network/agents/symbolic-math-mcp/record.json","html":"https://wellknown.network/agents/symbolic-math-mcp","markdown":"https://wellknown.network/agents/symbolic-math-mcp/record.md","api":"https://wellknown.network/api/v1/agents/symbolic-math-mcp","status":"https://wellknown.network/api/v1/agents/symbolic-math-mcp/status","claim":"https://wellknown.network/agents/symbolic-math-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/symbolic-math-mcp/claim.json","badge":"https://wellknown.network/agents/symbolic-math-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/symbolic-math-mcp/history","tools":"https://wellknown.network/api/v1/agents/symbolic-math-mcp/tools"},"ard":{"identifier":"urn:air::server:symbolic-math-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"symbolic-math-mcp","summary":"FastMCP server for validating symbolic math YAML files with symbolic-math-verify.","description":"# symbolic_math_mcp\n\n`symbolic_math_mcp` is a standalone FastMCP server that validates symbolic math proof files in YAML format.\n\nIt uses exactly one function from `symbolic-math-verify` for verification:\n\n- `symbolic_math_verify.verify_yaml_file()`\n\n## Features\n\n- exposes one synchronous MCP tool: `check_symbolic_math`\n- exposes one synchronous MCP tool for parallel directory validation: `check_symbolic_math_parallel`\n- supports `stdio://`, `http://`, and `https://` configuration URLs\n- queues requests above `max_requests`\n- enforces a total per-request timeout\n- automatically switches to a free port if the configured HTTP port is already in use\n\n## Requirements\n\n- Python 3.11+\n- `fastmcp>=3.4.2`\n- `symbolic-math-verify>=0.1.4`\n\n## Install\n\n```bash\npython3 -m venv .venv\n.venv/bin/python -m pip install --upgrade pip\n.venv/bin/python -m pip install -e .\n```\n\n## Configuration\n\nDefault configuration file: [config.json](/home/brosnan/symbolic_math_mcp/symbolic_math_mcp/config.json)\n\n```json\n{\n  \"mcp_server_name\": \"My Symbolic Math MCP Server\",\n  \"mcp_server_url\": \"http://localhost:8753\",\n  \"max_requests\": 10,\n  \"total_timeout\": 600\n}\n```\n\n### Notes\n\n- `stdio://...` runs the server over stdio.\n- `http://...` runs the server over FastMCP's streamable HTTP transport.\n- `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.\n\n## Run\n\nFrom the project directory:\n\n```bash\n.venv/bin/python run_server.py --config config.json\n```\n\nOr after installation:\n\n```bash\nsymbolic-math-mcp --config config.json\n```\n\n## Tool API\n\n### `check_symbolic_math(filename)`\n\n- input: absolute path to a `.yaml` symbolic math file\n- behavior: blocks until `verify_yaml_file(filename)` completes or times out\n\nSuccessful completion:\n\n```json\n{\n  \"status\": \"Tool call completed!\",\n  \"filename\": \"proof.yaml\",\n  \"result\": \"Math proofs are valid\"\n}\n```\n\nTimeout:\n\n```json\n{\n  \"status\": \"Tool call …","publisher":{"name":"Brosnan Yuen","url":null},"homepage":null,"repository":null,"version":"0.1.5","license":"MIT","protocols":["mcp"],"tags":["mcp"],"pricing":null,"endpoints":[{"url":"pypi:symbolic-math-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","license":"pypi","summary":"pypi","version":"pypi","description":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"dev.filesystem","name":"Filesystem","confidence":0.802,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"symbolic-math-mcp","registry":"pypi","observedAt":"2026-11-04T01:25:03.765Z","publishedAt":"2026-07-14T06:32:19.868134Z","latestVersion":"0.1.5"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"symbolic-math-mcp","url":"https://pypi.org/project/symbolic-math-mcp/","firstSeenAt":"2026-09-10T13:20:30.760Z","fetchedAt":"2026-11-04T01:24:38.893Z","normalizedAt":"2026-11-04T01:24:38.893Z"}]},"firstSeenAt":"2026-09-10T13:20:30.760Z","updatedAt":"2026-11-04T01:25:03.765Z"}