Public Preview
lean-formal-feedback-loop
Made by JeffRun Lean-Rust proof feedback loops to find runtime bugs. Use when proving theorems, triaging hard proof blockers, checking conformance, or closing formal assurance gaps.
Advancedother463 installsJeffrey Emanuel
Works With
RustTesting/QA
lean-formal-feedback-loop
Quality and Utility come from canonical skill metadata. Community ratings appear separately as stars when subscriber reviews exist.
Subscribe to download
Public previews are available, but downloads, CLI sync, and premium content require an active subscription.
Sign In to SubscribeWhat you get with Premium
- Full skill content with deterministic versioning
- CLI sync + local search index
- Access to Jeffrey’s premium library
Already subscribed? Sign in to unlock this skill.
Save to your account
Saved skills live in your cloud list. Run jsm sync on each machine to pull them locally.