bug-report
01Command
Draft a bug report issue for lean4-skills.
418 6d ago A 13 tokens
original MIT
418Stars on the repository
26Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Command
Draft a feature request issue for lean4-skills.
418 6d ago A 13 tokens
original MIT
Command
Draft a shareable insight from your session as a GitHub issue.
418 6d ago A 17 tokens
original MIT
Command
Autonomous end-to-end formalization from informal sources.
418 6d ago A 14 tokens
original MIT
autoprove
05Command
Autonomous multi-cycle theorem proving with explicit stop budgets.
418 6d ago A 14 tokens
original MIT
checkpoint
06Command
Save progress with a safe commit checkpoint.
418 6d ago A 9 tokens
original MIT
diagnose
07Command
Diagnostics, cleanup, and migration help.
418 6d ago C 10 tokens
original MIT
disprove
08Command
Guided counterexample search with certified refutation.
418 6d ago A 12 tokens
original MIT
draft
09Command
Draft Lean declaration skeletons from informal claims.
418 6d ago A 10 tokens
original MIT
formalize
10Command
Interactive formalization — drafting plus guided proving.
418 6d ago A 11 tokens
original MIT
golf
11Command
Improve Lean proofs for directness, clarity, performance, and brevity.
418 6d ago A 17 tokens
original MIT
learn
12Command
Interactive teaching and mathlib exploration.
418 6d ago A 8 tokens
original MIT
prove
13Command
Guided cycle-by-cycle theorem proving with explicit checkpoints.
418 6d ago A 12 tokens
original MIT
refactor
14Command
Leverage mathlib, extract helpers, simplify proof strategies.
418 6d ago A 14 tokens
original MIT
review
15Command
Read-only code review of Lean proofs.
418 6d ago A 9 tokens
original MIT