# atp_mcp v0.1.0 - Table of Contents

> MCP server exposing SystemOnTPTP theorem provers to Claude Code

## Pages

- [AtpMcp](readme.md)

