lean-formal-feedback-loop - Lean Formal Proof Feedback Loop
Run Lean-Rust proof feedback loops to find runtime bugs
Tags
Updated: 2026-05-28Capabilities
Typical Inputs
Typical Outputs
What this skill does
- run proof loops
- find runtime bugs
- prove theorems
- triage blockers
- check conformance
- mine signals
- extract witness
- emit artifacts
Inputs
- gap risk plan
- invariant theorem links
- cass history signals
Outputs
- test witness
- artifact record
- updated queue
Requirements
- Lean proof environment
- cass history mining tool
- project directory