@maudeai/mcp

Model Context Protocol server for Maude. Spawned by @maudeai/runtime (or by any MCP-capable client) to expose Maude's API as tools.

Modes

The same binary serves two roles, selected by env vars:

• agent mode (MAUDE_TASK_ID set): scoped to one task. Tools include report_progress, complete_task, fail_task, comment_on_issue, update_issue_status, label tools, etc.
• supervisor mode (MAUDE_RUNTIME_ID set): for the long-lived supervisor process. Tools include report_health, claim_task, start_task, prepare_workdir.

Both modes require MAUDE_TOKEN (an mrt_* runtime token) and MAUDE_WORKSPACE_ID. MAUDE_BASE_URL defaults to http://localhost:8080.

Standalone usage

You normally don't run this directly — @maudeai/runtime spawns it. To debug interactively:

MAUDE_TOKEN=mrt_… \
MAUDE_WORKSPACE_ID=… \
MAUDE_RUNTIME_ID=… \
npx @maudeai/mcp

Then send JSON-RPC framing on stdin (or wire it to an MCP client like Claude Desktop's developer config).