# cameronfreer/lean4-theorem-proving-skill

Official Claude Skills for systematic Lean 4 proof development

## Marketplace Information

- **Owner**: cameronfreer (https://github.com/cameronfreer)
- **Repository**: https://github.com/cameronfreer/lean4-theorem-proving-skill

- **Total Plugins**: 3
- **GitHub Stars**: 22
- **Last Updated**: 2025-10-30T14:36:49Z

- **Tags**: community

## Installation

```bash
/plugin marketplace add cameronfreer/lean4-theorem-proving-skill
```

## Available Plugins (3)

### 1. lean4-theorem-proving

Lean 4 workflows (skills + commands)



**Installation**:
```bash
/plugin install lean4-theorem-proving@cameronfreer/lean4-theorem-proving-skill
```

---

### 2. lean4-memories

Persistent memory integration for Lean 4 formalization



**Installation**:
```bash
/plugin install lean4-memories@cameronfreer/lean4-theorem-proving-skill
```

---

### 3. lean4-subagents

Specialized subagents for Lean 4 development



**Installation**:
```bash
/plugin install lean4-subagents@cameronfreer/lean4-theorem-proving-skill
```




## Links

- **Marketplace Details**: https://claudecodemarketplace.com/marketplace/cameronfreer/lean4-theorem-proving-skill
- **GitHub Repository**: https://github.com/cameronfreer/lean4-theorem-proving-skill


## Related Resources

- **Claude Code**: https://github.com/anthropics/claude-code
- **Documentation**: https://docs.claude.com/en/docs/claude-code
- **All Marketplaces**: https://claudecodemarketplace.com/

---

*Generated: 2025-11-18T08:41:03.350Z*
*URL: https://claudecodemarketplace.com/marketplace/cameronfreer/lean4-theorem-proving-skill*