Sepo is a foundation as much as a product: repositories built on it ship with agents, previews, and the drawer already wired in. This section collects worked examples.
- Lean Workspace — a template for formalizing theorems in Lean 4 where human teams and AI agents work side by side: plan a proof as a blueprint, formalize it in Lean, and collaborate right in the repository. It has its own documentation site.
More use cases, with walkthroughs, live on the sepo.sh use-cases page.