Show HN: Build2me – Prove2Me for software agent swarms build code

Hi everyone, this is my first original post on Hacker News. I’d like to share my thoughts on the next generation of AI agents. I believe these agents will operate autonomously over long periods. While current chat interfaces are designed for conversation, the interfaces for next-gen agents should focus on delegation; they will be capable of gathering environmental data, interpreting requirements, and working continuously toward a goal for days or even a month. That is why I ported prove2me and built the build2me project. My inspiration came from prove2me, which uses Lean to run multi-agent systems for long-term mathematical proof verification—a process requiring extensive exploration and prolonged task execution. I believe this same logic applies to software development and long-term self-iterating projects. I invite you to try it out and please feel free to reach out with any feedback. Thank you.