Install Orca in Claude Code
claude mcp add orca -- npx -y @orcalang/orca-mcp-server{
"mcpServers": {
"orca": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
]
}
}
}Frequently asked questions
What does the Orca MCP server do?
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Is the Orca MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does Orca run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Orca to Claude Code?
Run: claude mcp add orca -- npx -y @orcalang/orca-mcp-server
More developer tools MCP servers
View allQatouch
qatouch/qatouch-mcp-server
MCP Server for software testing, test case management, test execution, and defect tracking.
Oorep
Dhi13man/oorep-mcp
MCP server and TypeScript SDK for OOREP homeopathic repertory and materia medica reference data.
Antrieb
jade-pico/antrieb-mcp-server
Validates AI infra code on real VMs. Self-corrects until it works. No containers, no sandboxes.
Longhorn
rafaelgaspar/longhorn-mcp
MCP server for the Longhorn distributed storage manager API, with a --read-only mode.
Bestax
allxsmith/bestax/bestax-mcp
Gives agents props, examples and CSS variables for the Bestax React component library (Bulma v1). Runs offline.
Garmin Connect Personal API
DynamicsNinja/connect-personal-api-js
Read your Garmin sleep, HRV, steps, stress, Body Battery, and activities (unofficial)