Documentation
Unfix documentation
Unfix is an independent verifier for bug fixes in C, C++ and firmware. It does not write code. It checks whether a fix — written by a developer or an AI coding agent — really removes the bug, and returns VERIFIED, REJECTED or NOT VERIFIABLE (when the evidence can't decide).
- QuickstartRequirements, install,
unfix doctor, the demo and your own project. - How it worksWhat Unfix checks and the verdicts it returns.
- AgentsConnect Unfix to Claude Code and Codex.
- SupportedWhat works today and what is not supported yet.
Get the beta
Unfix 0.1 is in private beta for C/C++ and firmware teams. Email hello@unfix.dev with:
- company,
- what you build,
- OS,
- whether you test on real boards, and
- which AI coding agents you use.
We'll send the install kit and set up a short call.
Get the betahello@unfix.dev