Home Original page

LeanArchitect

Automating Blueprint Generation for Humans and AI

December 10, 2025

Outline

Outline

0. Preliminaries

  • Premises
  • Credits

1. Why

  • Context
  • Motivation

2. What

  • Design
  • Implementation

3. How

  • Demo
  • Applications

4. Next

  • Developments
  • Integration

5. Discussion

Preliminaries

Preliminaries

  • Implementation primarily developed by Thomas Zhu
  • Built on top of the leanblueprint library
  • Concept inspired by Alex Kontorovich’s PNT+ prototype
  • Design inspired by the doc-gen4 library
  • Work in progress
  • User feedback is very welcome

Demo

Thanks!