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

1 skill455

@cameronfreer

Install this plugin

Skill

1

Skill

AI & Agents Python Bash

lean4

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to…

lean4-skills2d455

@cameronfreer

View Skill

Agents

4

axiom-eliminator proof-golfer proof-repair sorry-filler-deep

Commands

14See all 14 →

autoformalize autoprove bug-report checkpoint

Is this you? Claim your profile Put a plugin at the top of Plugins, from $9

An opinionated library of Flows. Free. Open source. V1.

Built for Claude Code · Not affiliated with Anthropic

diagnose

Flowy vs crossaitools

Glossary

Blog