Write Lean Code
Lean 4 style guide and Mathlib conventions for naming, proofs, formatting, and metaprogramming.
More from Agent Harness Plugins
- Add Cobra Version
- Add Community Files
- Add Goreleaser Homebrew
- Add Scrut Cli Tests
- Address Issue
- Address Review
- Bootstrap Project
- Check Zsh Scripts
- Clean Up Agent Config
- Commit
- Create Issue
- Create Plugin
- Create Worktree
- Create Worktree From Issue
- Handle Secrets
- Lint And Fix
- Manage Repo Licensing
- Merge Main
- Notify
- Optimize Runner Usage
- Pin Everything
- Pr
- Rebase Onto Main
- Refresh Project Scaffolding
- Release
- Resolve Copilot Pr Feedback
- Review Branch
- Scaffold Go Cli
- Scaffold Go Library
- Scaffold Lean Library
- Scaffold New Repo
- Scaffold Rust Cli
- Set Up Ci
- Set Up Installers
- Set Up Linters
- Set Up Secret Scanning
- Suggest Next Issue
- Upgrade Everything
- Use Git
- Write Bash Scripts
- Write Formalization Roadmap
- Write Go Code
- Write Homebrew Formula
- Write Latex
- Write Lean Tests
- Write Markdown
- Write Math
- Write Pandoc Markdown
- Write Scrut Tests
- Write Zsh Scripts