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.