# lean4-skills

Lean 4 workflow pack for AI coding agents. Gives your agent a structured prove/review/golf loop, mathlib search, axiom checking, and safety guardrails.

- Tier: Indexed (plain plugin)
- Category: AI & Agents
- Page: https://www.flowy.sh/listings/cameronfreer-lean4-skills
- Source: https://github.com/cameronfreer/lean4-skills
- Price: free and open source

## Summary
lean4-skills is a Claude Code plugin with 1 hand-picked skill for ai & agents work, indexed on Flowy. Install it with the command on its page. It includes lean4. Its skills do not fire on their own yet. Request auto-invocation to have Flowy route them as you prompt. Free and open source.

## Install (Claude Code)
```
/plugin marketplace add cameronfreer/lean4-skills
```

## Skills
- lean4

## FAQ

### What is lean4-skills?
Lean 4 workflow pack for AI coding agents. Gives your agent a structured prove/review/golf loop, mathlib search, axiom checking, and safety guardrails.

### How do I install lean4-skills?
Run these in Claude Code: /plugin marketplace add cameronfreer/lean4-skills. Then prompt normally.

### Does lean4-skills auto-invoke its skills?
Not yet. It is indexed on Flowy as a plain plugin. Request auto-invocation on its page and Flowy will route its skills for you as you prompt.

### Is lean4-skills free?
Yes. Flowy is free and open source, with nothing gated. You can read every skill in full before you install.