MCP server Claude CodeCodexCursor +2
Go from natural language to verified finite state machines — topology bugs caught before code runs. Runs locally from the @orcalang/orca-mcp-server npm package. Needs 3 environment variables to run.
14 3mo ago A
tokens not measured