Jeffrey Li
Community@jeffrey-dot-li · Ottawa, Ontario
28Followers
|78Public Repos
|7Published Skills
I ain’t got it all but that’s alright with me.
Agent Skills by Jeffrey Li
Showing 7 vetted skills indexed across 1 GitHub repositories.
jeffrey-dot-li2
research
Search Mathlib for existing theorems and identify foundational lemmas.
Community
Intermediate
jeffrey-dot-li2
draft
Generate Lean theorem and lemma skeletons with placeholder proofs.
Community
Intermediate
jeffrey-dot-li2
improve-workflow
Update Claude Code configuration files and skill definitions in the .claude/ directory.
Community
Basic
jeffrey-dot-li2
interactive
Execute user-specified Lean tactics one by one and display proof state.
Community
Intermediate
jeffrey-dot-li2
fill-sorry
Prove specified sorry'd lemmas iteratively in Lean using LSP tools.
Community
Advanced
jeffrey-dot-li2
discuss
Facilitate read-only discussion and analysis of mathematical proofs in Lean.
Community
Basic
jeffrey-dot-li2
refactor
Refactor existing Lean proofs for brevity, clarity, and documentation.
Community
Intermediate