io.github.mrfentmen/mizar-mcp
mizar-mcp
Is the io.github.mrfentmen/mizar-mcp MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-09.
Mizar MCP: 20 real tools to read, check, lint, scaffold, build and run Mizar code.
alive probed 2026-11-15 · unchanged since 2026-11-09
- Run it
- npx -y @mrfentmen/mizar-mcp@1.0.0 (stdio, probed in a container with the network off)
- Host
- npmjs.com
- Reports itself as
- mizar-mcp 1.0.0
- Capabilities
- tools
- Instructions
- none
- Of a 1M window
- 0.4 % of a 1M context window
- Count
- 4.1k tokens in Claude Opus 5.5, exact, measured 2026-11-09. With the Claude Code prefix mcp__…__ on each tool name: 4.3k. The o200k_base estimate is 2.2k. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/mrfentmen/awesome-servers
- Registry
- active, updated 2026-11-08 · 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.87×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| rename_symbol | 267 | 143 | 7 % |
| format_source | 265 | 142 | 7 % |
| comment_lines | 252 | 135 | 6 % |
| insert_snippet | 251 | 134 | 6 % |
| uncomment_lines | 249 | 133 | 6 % |
Compare this server with others, or with the servers that share its tool set.
Same tool set as 99 other servers
These registry entries have the same tool names and the same schema sizes.
- io.github.mrfentmen/aiken-mcp npmjs.com
- io.github.mrfentmen/algol-mcp npmjs.com
- io.github.mrfentmen/alloy-mcp npmjs.com
- io.github.mrfentmen/antlr-mcp npmjs.com
- io.github.mrfentmen/arkts-mcp npmjs.com
- io.github.mrfentmen/basic-mcp npmjs.com
- io.github.mrfentmen/berry-mcp npmjs.com
- io.github.mrfentmen/bicep-mcp npmjs.com
- io.github.mrfentmen/bird2-mcp npmjs.com
- io.github.mrfentmen/bison-mcp npmjs.com
- io.github.mrfentmen/cairo-mcp npmjs.com
- io.github.mrfentmen/cecil-mcp npmjs.com
- and 87 more
More servers
Other registry entries on npmjs.com, the ones next to this name; all of them.
- io.github.mrfentmen/missoma-mcp · alive
- io.github.mrfentmen/mitre-attack-mcp · alive
- io.github.mrfentmen/mixcloud-mcp · alive
- io.github.mrfentmen/mixpanel-mcp · alive
- io.github.mrfentmen/mlb-mcp · alive
- io.github.mrfentmen/mlb-stats-mcp · alive
- io.github.mrfentmen/mlir-mcp · alive
- io.github.mrfentmen/mmcif-mcp · alive
Servers that mention scaffold or build.
- ai.actwise/ideation · needs auth
- Aevia ai.aeviamodeler/aevia · needs auth
- AIS Gateway — the campus front desk for AIS MCP buildings ai.aislabs/gateway · alive
- Project Desk ai.atlier/project-desk · needs auth
- Augenix ai.augenix/build · alive
- AQL PropertyCheck — check one exact address (Gold Coast & Brisbane) ai.alphaquantlabs/propertycheck · alive
- B4 Index ai.benroberts/b4-index · alive
- Cactal ai.cactal/cactal · alive
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.