lean-collab

Listed

Multi-agent collaborative theorem proving with LeanTree and Ensue Memory Network

plugin 72 stars 2 forks Updated 4 months ago MIT

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

Everything this plugin ships — skills, agents, commands, hooks, and MCP servers it bundles.

./agents/decomposer.md ./agents/lean-composer.md ./agents/lean-prover.md decomposer.md lean-composer.md lean-prover.md

Stars 20%

Recency 20%

Manifest 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%