Skills tagged "cameronfreer" (2)

2 Claude Code skills tagged "cameronfreer". Test each skill in the interactive playground.

⚙️ Lean4 Memories

This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration

cameronfreerautomation

🐛 Lean4 Theorem Proving

Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration

cameronfreerdebugging

More Tags

automation (2772) ai (1905) testing (1783) backend (1548) scripting (1540) debugging (1486) code-review (1426) docs (1343) api (1309) frontend (1279) productivity (1166) devops (1160) data (1050) workflow (1015) cli (1007) performance (984) security (836) analytics (822) design (787) python (653)