The PreviewProof MCP server exposes the following tools to AI assistants.
Tool reference coming soon.
