Replacing $50k manual forensic audits with a deterministic .py engine
Treats forensic accounting as a state-machine problem, not an AI problem — genuinely clever.
Python library for controlling ordering of concurrent events to find and reproduce race conditions
Rust-powered DPOR engine finds Python race conditions without code changes or sleep() hacks.
Python library authors and backend engineers
loom · pytest · ThreadSanitizer
It can understand Python variable assignments, SQL statements and Redis commands, which can detect races that cross abstraction boundaries, e.g. a deadlock between threading.Lock() in one thread and a SQL row lock in another.
To use it, do `pip install frontrun`[1] then put the following in a pytest case:
result = frontrun.explore( setup=Counter, workers=Counter.increment, count=2, ) result.assert_holds()
Then use `frontrun pytest path/to/test_counter.py`.My hope is that this will allow authors of libraries which are not currently threadsafe to weather the freethreading transition more easily or to raise the bar for issue submissions involving race conditions. I've put a lot of work into making races deterministic and making the error trace interpretable, demonstrating why that sequence of events that triggers the race. I'd love any usability feedback or success/failure stories you have, and I'm happy to answer any questions about how it works.
[1] MacOS and Linux only.
Treats forensic accounting as a state-machine problem, not an AI problem — genuinely clever.
Brings Haskell-style Monads and CSP concurrency to Python with type-safe values.
Deterministic rule extraction from traces — same input always produces same output, no tokens.
Landing page is a Cloudflare bot check—no demo, no code, no way to evaluate claims.
Another AI debugger claiming full autonomy in a space crowded by Cursor and Codeium.
Reverse-mapping stack traces so obfuscated code doesn't break your CI pipeline.