Lean Proof Automation MCP server
Non-Functional
Initializing search
Lean Proof Automation MCP server
Home
Overview
Architecture
Architecture
System Overview
Decision Log
MCP
MCP
Tools Runtime
Tool Contract
Tools
Tools
scan_file
scan_theorem
rank_targets
verify
probe
probe_file
search_automated_proof
try_automated_proof
get_proof_context
Workflows
Workflows
Interactive User Flow
Configuration
Workspace Modes
Requirements
Requirements
Functional
Non-Functional
Non-Functional