API Reference atp_mcp v#0.5.1

Copy Markdown View Source

Modules

AtpMcp

MCP stdio server wrapping every AtpClient backend.

AtpMcp.Backends

Per-backend behaviours used by AtpMcp for dependency injection.

AtpMcp.IsabelleSession

Long-lived Isabelle session shared across every prove_isabelle and query_backend backend: "isabelle" call for the lifetime of the MCP server.

AtpMcp.Runtime

GenServer that drives the MCP protocol loop: owns stdout, runs each tools/call in its own Task, and handles notifications/cancelled.