Maintainer shelf

Cameronfreer

Reusable agent skills published under this GitHub owner—sorted by stars with aggregate signals below.

2 skills186 GitHub stars0 weekly installsGitHub

Strongest repo by stars

cameronfreer/lean4-skills

2 skills · 186 stars total

Open repo

2 skills

lean4-memories

Shell

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

lean4-theorem-proving

Shell

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

Full skills directory

Search and filter the entire library—then dive back into this owner anytime.

Open directory →

Browse by topic

See how skills cluster by workflow problem space—not just by repository.

Explore topics →

Built by

VeilStrat

AI signals for GTM teams