MCP ServerSTDIOOfficialv0.1.24

Orca MCP Server MCP Server

Go from natural language to verified finite state machines — topology bugs caught before code runs.

io.github.jascal/orca-mcp-server

Hosted URL

https://github.com/jascal/orca-lang

Transport

STDIO

Auth

No auth required

Connect to Orca MCP Server

Hosted endpoint — paste into any MCP client.

https://github.com/jascal/orca-lang

Configuration this server reads at startup.

ANTHROPIC_API_KEYSecret
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.
ORCA_PROVIDER
LLM provider to use: anthropic (default), openai, grok, or ollama.
ORCA_MODEL
Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.

Where to find authoritative docs and source for Orca MCP Server.

Open MCP Agent Studio and connect this server to Claude, GPT, Gemini, DeepSeek and more — no install required.

mcp-context-server

An MCP server that provides persistent multimodal context storage for LLM agents.

SmartMemory

Neuro-symbolic memory for LLMs (POC)

remote-mcp-server

Coupler.io remote MCP server

trip-planner

AI-native trip planning with flights, activities, accommodations, tasks, and maps.