io.github.jascal/orca-mcp-server
Orca MCP Server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
alive probed 2026-10-15
12tools
2.3ktokens in Claude Opus 5.5
2.4ktokens in Claude Code
1.1 %of a 200k context window
1.3ko200k_base estimate
400 msto initialize
6 msto list tools
- Run it
- npx -y @orcalang/orca-mcp-server@0.1.30 (stdio, probed in a container with the network off)
- Host
- npmjs.com
- Reports itself as
- orca 0.1.0
- Capabilities
- resources, tools
- Instructions
- 2 147 characters
- Claude count
- Claude Opus 5.5, measured 2026-10-15. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/jascal/orca-lang
- Registry
- active, updated 2026-06-03 · registry entry
- Reachable
- 1 of the last 1 probe
Most expensive tools
| Tool | Tokens (o200k) | Share of this server |
|---|---|---|
| generate_actions | 188 | 15 % |
| compile_machine | 142 | 11 % |
| refine_machine | 140 | 11 % |
| parse_machine | 130 | 10 % |
| verify_machine | 117 | 9 % |
Badge and feed
[](https://mcpcost.ulehla.dev/s/io.github.jascal/orca-mcp-server)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.