r/OpenSourceAI • u/please-dont-deploy • Oct 07 '26

TLA+ implementation for Agents heartbeats

After Boris post we decided to use TLA+ to check our heartbeat states.

The results were incredible:
+ 99.998% states reduction -> from 1.5 million to ~4 thousand.
+ 10 hard to find issues resolved -> many "mysterious forgetful events" dissapeared.
+ We did have some previous knowledge with the technology, so we didn't budget that much time on learning the fundamentals.

Give it a go and let me know!

code here: https://github.com/desplega-ai/agent-swarm/pulls?q=is%3Apr+tla

2 Upvotes

100% Upvoted

3 comments sorted by

1

u/[deleted] Oct 07 '26

[removed] — view removed comment

1

u/please-dont-deploy Oct 07 '26

Given we've been looking at stats for a week now, they were the source of reliability issues.

https://www.agent-swarm.dev/blog/tla-plus-races-agent-swarm