Commit

da07cf3

Honestly, I check people repos. In your case, I was very interesting on chatting about what you are doing with TLA+ and some ideas for things we could apply to our own OSS/MIT project. But I'm not the normal, I guess....
that's cool! i'm discovering your agent-swarm tla+ specs, heartbeats & workflows

commit da07cf3

Thank you!!!!! Ideas would be amazing! We've been going back and forth with @tarasyarema about how to leverage it more. We believe it could really make the system much better, but we are def not experts on this.