LeanArchitect

Automating Blueprint Generation for Humans and AI

Pietro Monticone

University of Trento

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!