# atp_mcp v0.3.0 - 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.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`.

