# atp_mcp v0.5.1 - Table of Contents

> MCP server exposing the SystemOnTPTP, StarExec, Isabelle and LocalExec theorem-prover backends from AtpClient over stdio JSON-RPC.

## Pages

- [AtpMcp](readme.md)
- [Changelog](changelog.md)

## Modules

- [AtpMcp](AtpMcp.md): MCP stdio server wrapping every `AtpClient` backend.
- [AtpMcp.Backends](AtpMcp.Backends.md): Per-backend behaviours used by `AtpMcp` for dependency injection.
- [AtpMcp.IsabelleSession](AtpMcp.IsabelleSession.md): Long-lived Isabelle session shared across every `prove_isabelle` and
`query_backend backend: "isabelle"` call for the lifetime of the MCP
server.
- [AtpMcp.Runtime](AtpMcp.Runtime.md): GenServer that drives the MCP protocol loop: owns stdout, runs each
`tools/call` in its own Task, and handles `notifications/cancelled`.

