Lean Proof Auto MCP

This is the documentation home page.

Use the navigation on the left to access:

• Overview
• Architecture
• MCP tools and contracts
• Workflows
• Configuration
• Workspace modes
• Requirements

If you want a full project summary, start with Overview.