GitHub - antithesishq/bombadil: Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier · GitHub

Skip to content

Navigation Menu

Toggle navigation

Sign in

Appearance settings

PlatformAI CODE CREATIONGitHub CopilotWrite better code with AIGitHub SparkBuild and deploy intelligent appsGitHub ModelsManage and compare promptsMCP RegistryNewIntegrate external toolsDEVELOPER WORKFLOWSActionsAutomate any workflowCodespacesInstant dev environmentsIssuesPlan and track workCode ReviewManage code changesAPPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilitiesCode securitySecure your code as you buildSecret protectionStop leaks before they startEXPLOREWhy GitHubDocumentationBlogChangelogMarketplaceView all featuresSolutionsBY COMPANY SIZEEnterprisesSmall and medium teamsStartupsNonprofitsBY USE CASEApp ModernizationDevSecOpsDevOpsCI/CDView all use casesBY INDUSTRYHealthcareFinancial servicesManufacturingGovernmentView all industriesView all solutionsResourcesEXPLORE BY TOPICAISoftware DevelopmentDevOpsSecurityView all topicsEXPLORE BY TYPECustomer storiesEvents & webinarsEbooks & reportsBusiness insightsGitHub SkillsSUPPORT & SERVICESDocumentationCustomer supportCommunity forumTrust centerPartnersView all resourcesOpen SourceCOMMUNITYGitHub SponsorsFund open source developersPROGRAMSSecurity LabMaintainer CommunityAcceleratorGitHub StarsArchive ProgramREPOSITORIESTopicsTrendingCollectionsEnterpriseENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platformAVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security featuresCopilot for BusinessEnterprise-grade AI featuresPremium SupportEnterprise-grade 24/7 supportPricing

Search or jump to...

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Cancel

Submit feedback

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Cancel

Create saved search

Sign in

Sign up

Appearance settings

Resetting focus

You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

antithesishq

/

bombadil

Public

Notifications
You must be signed in to change notification settings

Fork
26

Star
834

Code

Issues
12

Pull requests
9

Actions

Security
0

Insights

Additional navigation options

Code

Issues

Pull requests

Actions

Security

Insights

antithesishq/bombadil

 mainBranchesTagsGo to fileCodeOpen more actions menuFolders and filesNameNameLast commit messageLast commit dateLatest commit History243 Commits243 Commits.github.github  docsdocs  liblib  .envrc.envrc  .gitignore.gitignore  .rustfmt.toml.rustfmt.toml  CHANGELOG.mdCHANGELOG.md  Cargo.lockCargo.lock  Cargo.tomlCargo.toml  LICENCELICENCE  README.mdREADME.md  flake.lockflake.lock  flake.nixflake.nix  View all filesRepository files navigationREADMEMIT licenseBombadil
Property-based testing for web UIs, autonomously exploring and validating
correctness properties, finding harder bugs earlier.
Runs in your local developer environment, in CI, and inside Antithesis.
NoteBombadil is new and experimental. Stuff is going to change in the early days. Even so, we hope you'll try it out!

Documentation
Learn all about Bombadil with the following resources:

The Bombadil Manual
Installation
Examples

Or, if you want to hack on it, see Contributing.

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.

About

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Resources

Readme

License

MIT license

Uh oh!

There was an error while loading. Please reload this page.

Activity

Custom properties
Stars

834
stars
Watchers

3
watching
Forks

26
forks

Report repository

Releases
5

v0.3.2

Latest

Mar 10, 2026

+ 4 releases

Packages
0

Uh oh!

There was an error while loading. Please reload this page.

Contributors
3

owickstrom
Oskar Wickström

claude
Claude

howenyap
howen

Languages

Rust
83.2%

TypeScript
6.6%

Python
3.8%

Nix
3.5%

HTML
2.7%

JavaScript
0.1%

Other
0.1%

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms

Privacy

Security

Status

Community

Docs

Contact

Manage cookies

Do not share my personal information

You can’t perform that action at this time.

This GitHub repository, “bombadil” by antithesishq, presents a novel approach to web UI testing through property-based testing, offering automated exploration and validation of correctness properties. The project’s core purpose is to identify more challenging bugs earlier in the development lifecycle, a key benefit of automated testing strategies. Bombadil operates within a flexible environment, capable of deployment in local developer settings, Continuous Integration (CI) pipelines, and even the Antithesis platform itself, indicating a potential integration with a broader testing ecosystem.

The project is described as experimental and actively under development, with a clear disclaimer that modifications are anticipated in its early stages. Documentation is provided, outlining installation instructions, usage examples, and encouraging contributions from the community. A key element of the project’s design is the use of “Tom Bombadil,” a conceptual “fuzzer” described as possessing “stronger specs” and “faster” capabilities, symbolizing the automated testing process designed to uncover elusive bugs. This metaphorical representation emphasizes the automated nature of detecting errors, a central tenet of the project.

The core of Bombadil’s functionality is built around property-based testing, a testing paradigm where rather than defining specific inputs and expected outputs, testers define properties that *must* hold true for the tested system. Bombadil then automatically generates numerous test cases to ensure these properties are satisfied. This approach is particularly effective at uncovering unexpected behaviors by exploring a wider range of inputs than manual testing alone. The project leverages Rust, indicated through the `Cargo.toml` file, for implementation, demonstrating a commitment to performance and control. The presence of Nix and flakes suggests an investment in reproducible builds and dependency management.

The project’s structure, including the `README.md` and `CHANGELOG.md` files, points to a commitment to maintainability and transparency within the project’s development. The `LICENSE` file clearly indicates the MIT license, allowing for broad usage and modification. The project currently has 834 stars and 3 watchers, and has 26 forks, reflecting early adoption and community interest. The team consists of three contributors: Oskar Wickström, Claude, and howen. The project utilizes Rust as the primary programming language (83.2% of code), followed by TypeScript (6.6%), Python (3.8%), Nix (3.5%), HTML (2.7%), Javascript (0.1%) and other languages (0.1%), emphasizing its modern architecture and capabilities. The project's reliance on Nix suggests a focus on creating reliable and reproducible builds, which is a critical aspect of software development in today’s complex environments. The information provided constitutes a foundational overview of the Bombadil project, highlighting its core functionalities, architectural choices, and initial community engagement.