Cameron Freer
Community@cameronfreer
45Followers
|32Public Repos
|2Published Skills
Agent Skills by Cameron Freer
Showing 2 vetted skills indexed across 1 GitHub repositories.
cameronfreer360
lean4-memories
Persist Lean 4 proof patterns and failed approaches across sessions via MCP memory server.
Community
Advanced
cameronfreer360
lean4-theorem-proving
Automates Lean 4 theorem-proving tasks by diagnosing and repairing proofs, including sorries and axiom management.
Community
Advanced