FixProve proves your AI-generated code before it merges — deterministically verifying that every import, symbol, method, and API call resolves against your real installed dependencies, in CI, with zero LLM tokens. Conservative by design: when it can't resolve a reference with certainty, it skips rather than guesses — so it doesn't cry wolf.
The CLI and engine (
/cli,/engine) are MIT-licensed; the GitHub App and web app (/app,/web) are proprietary — see NOTICE.md for the full per-package breakdown.
pip install fixprove
npm install -g fixprove
fixprove check /path/to/your/projectThe npm package is a thin wrapper around the Python resolver engine (the
actual deterministic logic lives there); install both for the full
npm i -g fixprove experience. If the Python engine isn't installed,
fixprove check prints an actionable pip install fixprove message and
exits non-zero — it never hangs or silently reports a clean pass. See
cli/README.md for the full flag reference and exit codes.
/cli open-core CLI (MIT) — fixprove check <path>
/app GitHub App — blocking PR check via the resolver engine (proprietary)
/web landing page — static export for Cloudflare Pages (proprietary)
See NOTICE.md for the per-package licensing breakdown, CONTRIBUTING.md for contribution guidelines, and SECURITY.md for vulnerability reporting.
The CLI (/cli + the Python resolver engine) is published and live on npm
and PyPI. The GitHub App (/app) runs the same deterministic check as a
blocking status on pull requests.
As of the current version, the FixProve CLI and analysis engine make no network calls and collect no telemetry — your code is analysed entirely on your own machine or CI runner. If a future version adds any network capability (including opt-in telemetry), this section and the project's Privacy Policy will be updated together, and any opt-in will require your explicit consent.
pnpm install
pnpm build