Property-based testing for web and terminal UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier.
Runs in your local developer environment, in CI, and inside Antithesis.
Learn all about Bombadil with the following resources:
Join us on our quest to reinvent how the world thinks about software reliability. We are hiring.
Or, if you want to hack on it, see Contributing. We prefer GitHub issues and Discord discussions over drive-by pull requests. Make sure you read the Gen AI Policy before using LLMs in your contributions.
Old Tom Bombadil is a merry fellow,
Bright blue his jacket is, and his boots are yellow.
Bugs have never fooled him yet, for Tom, he is the Master:
His specs are stronger specs, and his fuzzer is faster.
Built by Antithesis.