sepo documentation Sepo The self-evolving repository. Setup, usage, architecture, and customization. Open docs → Sepo Website Chat with sepo-agent directly on your website, backed by your repo. Open docs → Tutorials Install Sepo and run your first agent session, step by step. Start here → use cases Lean Workspace ↗ Formalize theorems in Lean 4 with agents working alongside you. Visit project → Try Sepo →
