← Index

Orca MCP Server

io.github.jascal/orca-mcp-server·v0.1.30·Other

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

Trust verdict · v1 advisory · method
NOT YET SCREENEDno verdict on file

Verdict not yet evaluated for this tool. The semantic screen takes adversarial cases first; coverage rolls out as the corpus expands (15/150 labels to graduation). The deterministic conformance probe is built but has not yet run on the public corpus, so a recorded verdict here is REVIEW or UNVERIFIED, never a clearing ALLOW. Until a verdict is recorded, an agent should treat this tool as not-yet-cleared and fall back to its own checks. Method: the eval, four-state verdict, honest limits.

Own this server? Screen its description →

Environment variables
ANTHROPIC_API_KEY
secret

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.

MCP quality score · maturity, not trust · methodology
freshness
25
completeness
15
installability
25
documentation
15
stability
5
Alternatives in Other