Module: Rigor::MCP
- Defined in:
- lib/rigor/mcp.rb,
lib/rigor/mcp/loop.rb,
lib/rigor/mcp/server.rb
Overview
The MCP (Model Context Protocol) server subsystem. See docs/adr/33-mcp-server.md for the design.
Entry point: rigor mcp --transport stdio. The server exposes Rigor's analysis tools (check, type-of, triage,
annotate, sig-gen, explain, coverage) as MCP tool calls over a newline-delimited JSON-RPC 2.0 stdio stream.