Lean4 Assistant on the GPT Store

Lean4 LeanDojo Assistant

Able to understand and informalize lean code

400+

Lean Agile Coach Assistant

Lean Agile Coach Bot

200+

Lean4 Theorem Helper

Specializes in Lean4 code and mathlib4 integration

100+

Lean 4 Formalization Helper

Technical assistant for translating IMO problems into Lean 4 code.

100+

Lean Larry

Startup guru for Early founders. Advice based on all-time-great books, such as <Lean Startup>, <Blitzscaling>, <Innovator's Dilemma> etc.

100+

Lean4 Assist

A helpful guide for learning Lean4 with clear, concise explanations.

70+

Lean, Agilité, Design Thinking en Français

Votre assistant en Lean, Agilité et Design Thinking

60+

Lean Coworker

Coding assistant for Lean 4 proofs

40+

LeanMachine

Your Lean and Green Assistant

40+

Lean Problem Statement Assistant

Direct and concise problem statement creation

20+

Lean Canvas Template Expertise

Creative Assistant for Lean Canvas

10+

Lean Cheese Process Assistant

Expert in manufacturing and cheese production, offering both immediate and long-term LEAN solutions, with a formal yet approachable style.

10+

Lean Body 90 Assistant

Health and fitness assistant inspired by Dan Go

10+

Assistant Victoria Mk1

Lean Mean Agile Machine

10+

L6S GenLAB - DEFINE phase assistant

This GPT will support the creation of the Define phase in a Lean Six Sigma project

10+

精益画布助手 Lean Canvas Assistant

A Chinese-speaking assistant for crafting and refining Lean Canvas models.

8+

Lean Theorem Assistant

Formalizes math theorems in Lean4

5+

Lean Design Assistant

Assistant expert en design thinking et Lean Start-up

5+

Lean Launch Advisor

Casual, approachable advice on business scaling and idea validation.

4+

Cuallo's Lean Canvas Assistant

Guides in creating a business lean canvas for innovative projects.