io.github.C0MaE/mathguard
mathguard
Is the mathguard MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-13.
Verify maths from language models: identities, derivations, calculus, solutions, units, answers.
alive probed 2026-11-14 · unchanged since 2026-11-13
- Run it
- uvx mathguard@0.4.0 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Reports itself as
- mathguard
- Capabilities
- prompts, resources, tools
- Instructions
- 2 264 characters
- Of a 1M window
- 0.2 % of a 1M context window
- Count
- 1.9k tokens in Claude Opus 5.5, exact, measured 2026-11-12. With the Claude Code prefix mcp__…__ on each tool name: 1.9k. The o200k_base estimate is 1.1k. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/C0MaE/mathguard
- Registry
- active, updated 2026-11-12 · registry entry
Most expensive tools
The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.76×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| check_answer | 555 | 316 | 29 % |
| check_solution | 398 | 227 | 21 % |
| verify_math | 390 | 222 | 21 % |
| check_identity | 204 | 116 | 11 % |
| check_derivation | 172 | 98 | 9 % |
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- io.github.Bytestay/distill-mcp · alive
- io.github.Bytestay/shipshape-mcp · alive
- io.github.Bytestay/specwise-mcp · alive
- io.github.Bytestay/unfold-mcp · alive
- CP Memory io.github.CJhuochai/cp-memory · alive
- io.github.CKBrennan/overtone-news-mcp · needs mcp<2
- io.github.CQQOOQ123/jiheng · alive
- NDI-MCP-Server io.github.CREIntel/ndi-mcp-server · crashed on start
Servers that mention derivations or identities.
- ai.anha/resolver · needs auth
- Dregs com.dregs/dregs-mcp · needs auth
- BLOCKTRUST TrustScan io.github.brnbtech770/blocktrust-trustscan · needs auth
- Notra io.github.usenotra/notra · needs auth
- People Data Labs MCP by usefulapi io.usefulapi/peopledatalabs · timeout
- Unkey MCP by usefulapi io.usefulapi/unkey · timeout
- Swarmspace net.swarmspace.www/swarmspace · alive
- VATFind com.vatfind/company-identity · needs auth
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server answers initialize and tools/list. Nothing to fix.