Agent Skills by my04337
Showing 15 vetted skills indexed across 1 GitHub repositories.
my04337lean-session-restorer
Reads memory and session logs to reconstruct the last Lean 4 proof state and diff previous set of outstanding goals.
my04337arxiv-paper-survey
Parse arXiv URLs or IDs to generate structured S2IL-ready summaries.
my04337lean-error-fixer
Classify Lean 4 build errors and generate REPL-verified fixes.
my04337lean-repl
Evaluate Lean 4 code via REPL with auto-imported libraries.
my04337lean-counterexample
Identify counterexamples in Lean conjectures using plausible and decide tactics.
my04337lean-run
Build Lean projects and run lake exe targets to verify program output.
my04337lean-tactic-select
Classify Lean 4 proof goals by shape and propose prioritized tactic candidates.
my04337lean-setup
Configure Lean 4 toolchain PATH for terminals and tasks.
my04337session-efficiency
Analyze agent session outputs to identify output gaps and token inefficiencies.
my04337lean-proof-planning
Plan and pre-validate Lean 4 proof strategies before theorem proving.
my04337lean-build
Build Lean projects with lake build and report compilation diagnostics.
my04337lean-proof-progress
Track Lean 4 sorry statuses across proof sessions to surface blockers.
my04337lean-mathlib-search
Search Mathlib and Batteries lemmas to close Lean 4 proof goals.
my04337lean-simp-guide
Guide Lean 4 simp tactic selection and stabilize simp to simp only transitions.
my04337lean-diagnostics
Parse and triage Lean 4 build diagnostics to identify failing components and root causes.