{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.11","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.11","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-29T19:22:40.938088Z","publishedAt":"2026-03-29T19:22:40.938088Z","updatedAt":"2026-03-29T19:22:40.938088Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.12","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.12","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-29T22:26:05.510033Z","publishedAt":"2026-03-29T22:26:05.510033Z","updatedAt":"2026-03-29T22:26:05.510033Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.13","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.13","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-29T22:33:28.011789Z","publishedAt":"2026-03-29T22:33:28.011789Z","updatedAt":"2026-03-29T22:33:28.011789Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.17","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.17","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-30T01:29:09.596432Z","publishedAt":"2026-03-30T01:29:09.596432Z","updatedAt":"2026-03-30T01:29:09.596432Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.18","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.18","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-30T22:45:05.608607Z","publishedAt":"2026-03-30T22:45:05.608607Z","updatedAt":"2026-03-30T22:45:05.608607Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.19","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.19","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-04-01T20:42:48.16758Z","publishedAt":"2026-04-01T20:42:48.16758Z","updatedAt":"2026-04-01T20:42:48.16758Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.21","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.21","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-04-02T19:03:15.295564Z","publishedAt":"2026-04-02T19:03:15.295564Z","updatedAt":"2026-04-02T19:03:15.295564Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.24","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.24","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-04-04T01:42:59.588481Z","publishedAt":"2026-04-04T01:42:59.588481Z","updatedAt":"2026-04-04T01:42:59.588481Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.27","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.27","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-04-17T03:15:52.899902Z","publishedAt":"2026-04-17T03:15:52.899902Z","updatedAt":"2026-04-17T03:15:52.899902Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.29","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.29","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-06-03T00:26:57.334413Z","publishedAt":"2026-06-03T00:26:57.334413Z","updatedAt":"2026-06-03T00:26:57.334413Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.jascal/orca-mcp-server","description":"Go from natural language to verified finite state machines — topology bugs caught before code runs.","title":"Orca MCP Server","repository":{"url":"https://github.com/jascal/orca-lang","source":"github","id":"1189955224","subfolder":"packages/mcp-server"},"version":"0.1.30","packages":[{"registryType":"npm","identifier":"@orcalang/orca-mcp-server","version":"0.1.30","runtimeHint":"npx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.","isSecret":true,"name":"ANTHROPIC_API_KEY"},{"description":"LLM provider to use: anthropic (default), openai, grok, or ollama.","default":"anthropic","name":"ORCA_PROVIDER"},{"description":"Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.","name":"ORCA_MODEL"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-06-03T02:36:27.218364Z","publishedAt":"2026-06-03T02:36:27.218364Z","updatedAt":"2026-06-03T02:36:27.218364Z","isLatest":true}}}],"metadata":{"count":11}}