# atp_mcp v0.1.1 - Table of Contents

> MCP server exposing SystemOnTPTP theorem provers to Claude Code

## Pages

- [AtpMcp](readme.md)

