skill
직업 분류
설명
업데이트
fill-sorry
소프트웨어 개발자
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
2026-03-20
improve-workflow
소프트웨어 개발자
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
2026-03-20
clean
소프트웨어 개발자
Fix warnings line by line and bring code into compliance with Mathlib style standards.
2026-03-16
refactor
소프트웨어 개발자
Improve an existing working proof for structural clarity, succinctness, or reusability.
2026-03-15
draft
소프트웨어 개발자
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
2026-03-08
interactive
소프트웨어 개발자
Fill a sorry one step at a time, directed by the user.
2026-03-08
discuss
수학자
Read and discuss proofs, strategies, or math concepts without making any edits.
2026-02-10
research
물리학자
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
2026-02-10