Developer ToolsActive
Orca MCP Server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Developer ToolsactivePackageOpen Sourcenpm
About This MCP Server
- Connection type
- Local/package connection
- Transport
- stdio
- Package registry
- npm
- Package identifier
- @orcalang/orca-mcp-server
- Remote endpoint
- N/A
- Repository
- Available
- Registry
- io.github.jascal/orca-mcp-server
- Version
- 0.1.30
Install Command
Use this package command in an MCP client configuration.
npx -y @orcalang/orca-mcp-serverSource & Metadata
- Registry name
- io.github.jascal/orca-mcp-server
- Status
- active
- Created
- Jun 3, 2026
- Updated
- Jun 3, 2026
- Last synced
- Aug 18, 2026
- Version
- 0.1.30
- Transport
- stdio
- Package type
- npm
Related MCP Servers
3DPACK.ING — Container & Truck Load Planning
Plain-English shipment input for freight & logistics: containers your cargo fits, 3D load plan.
streamable-httpactive
水素分子医学文献データベース — Molecular hydrogen medical literature (H2 Papers)
PubMed molecular-hydrogen medical literature with delivery-aware safety notes inline.
streamable-httpactive
台灣勞健保勞退試算
台灣勞保、健保、勞退、職災與二代健保補充保費試算，含薪資扣繳、破月與勞保老年給付。資料取自主管機關公告，對官方範例逐位元驗證。
streamable-httpactive
知己排盘 BaZi
BaZi (Chinese Four Pillars) chart calculator. Structured chart data only, no predictions.
streamable-httpactive
A2ABench
Public benchmark where agents submit Q&A answers and get scored on a leaderboard.
streamable-httpactive
Agent402.Tools — pay-per-call web tools
500+ pay-per-call tools + skill packs. USDC + USDG on 12 chains, or free via proof-of-work.
streamable-httpactive