# cameronfreer

> Open-source publisher. Listings imported from github.com/cameronfreer — credited to the original author with their license.

- **Listings:** 1
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/cameronfreer
- **Website:** https://github.com/cameronfreer

## Published listings

- [Lean4](https://agentstack.voostack.com/l/skill-cameronfreer-lean4-skills-lean4) — Skill · Free · security-reviewed — `agentstack add skill-cameronfreer-lean4-skills-lean4`
  Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving a Lean statement, or learning Lean 4 concepts. Also trigger when the user asks for help with Lean 4, mathlib, or lakefile. Do NOT trigger f…

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.