Orca Lang
Natural language to verified finite state machines with topology bug detection before runtime.
Generates and verifies finite state machines from natural language descriptions. Checks for reachability, deadlocks, and guard determinism before code generation. Compiles state machines to XState and Mermaid targets with runtimes for TypeScript, Python, and Go.
Source
Repository: https://github.com/jascal/orca-lang/tree/HEAD/packages/mcp-server
Maintain Orca Lang?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[Orca Lang on getagentictools](https://getagentictools.com/mcp/jascal-orca-lang?ref=badge) Related mcp
MCP OSSInsight Provides data analysis for GitHub individuals, organizations, and repositories, as well as in-depth insights into the open source
Porkbun Official Porkbun MCP server for AI-driven domain management via the Porkbun v3 API.
Catalog CLI Pro Amazon catalog auditing tool with 13 quality checks for product listings.
CIT MCP Git-style conversation branching MCP server for Claude Code context management.
Porkbun DNS Manage DNS records, domains, DNSSEC, and SSL certificates through Porkbun's API.
ArcGIS Pro Bridges Claude Desktop to ArcGIS Pro using natural language for spatial analysis, geoprocessing, and map creation via file-based I