Open Source3h ago

Detected, not submitted

Untyped

Own Untyped?

Verify your site to claim this listing and get emailed the moment a buyer's looking for something like it.

This is mine — claim it
Untyped preview

Check recorded agent runs against a TLA+ spec to find invariant breaks and ensure your code holds up under retries and crashes.

Spotted on Hacker News on October 4, 2026.

DA

damianabramov

Maker