Post
4/ This is a Petri net synchronization primitive. It's been in the formal methods literature since the 60s. I built it into an open-source safety layer for AI agents that works with the Vercel AI SDK.
0 reposts1 like
5/ The library is called PetriFlow. MIT licensed, works today. Blog post with full benchmarks: joshtuddenham.dev/blog/agent-s... GitHub: github.com/joshuaisaact... Site: petriflow.joshtuddenham.dev
joshtuddenham.devYour Agent's Safety Net Is an If-Statement. Mine Is a Proof. | Josh TuddenhamTwo weeks ago, security researchers found over 1,800 exposed OpenClaw instances. Every vulnerability maps to the same failure mode - a code path that didn't hit the check. Petri nets fix this.