fixprove (Python engine, open-core)

FixProve deterministically verifies that every import, symbol, method, and API call in your code — Python or TypeScript/JavaScript — resolves against your real, installed dependencies. No LLM calls, no false-positive-prone heuristics: an AST-level resolver checks a reference set against a knowledge base built from what's actually on disk.

pip install fixprove
fixprove /path/to/your/project

Exit codes: 0 clean, 1 unresolved symbol(s) found, 2 usage/setup error — designed to drop straight into a CI gate.

This is the same engine that powers the FixProve GitHub App, which posts this check as a blocking status directly on your pull requests. Analysis runs in your CI — the App does not read or store your repository's source code. Only specific finding fragments (file paths, line numbers, and the unresolved expression) transit our endpoint, encrypted and never persisted, to post the check annotation; see the Privacy Policy for the full description. This CLI is the open-core, self-hosted way to run the identical deterministic core locally or in your own pipeline.

Scope (current)

Python: imports, call targets, attribute chains, checked against installed packages' real public API.
TypeScript/JavaScript: imports/re-exports/call targets/attribute chains, checked against installed npm packages' .d.ts declarations.
Known limitation: packages using TypeScript module augmentation (e.g. @types/lodash) are safely skipped (never flagged, but also not fully checked) rather than guessed at — see the engine's own Keystone Reports (KS-REPORT-1.4-ts-resolver.md in the source repository) for the full accuracy/limitation writeup.

License

MIT — see LICENSE. This package is the open-core component of FixProve; the GitHub App and web dashboard are proprietary (see the source repository's root NOTICE.md).

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

fixprove-0.1.12.tar.gz (49.7 kB view details)

Uploaded Aug 20, 2026 Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

fixprove-0.1.12-py3-none-any.whl (51.7 kB view details)

Uploaded Aug 20, 2026 Python 3

File details

Details for the file fixprove-0.1.12.tar.gz.

File metadata

Download URL: fixprove-0.1.12.tar.gz
Upload date: Aug 20, 2026
Size: 49.7 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for fixprove-0.1.12.tar.gz
Algorithm	Hash digest
SHA256	`564619cc7e0b93d2bd9a8efe6511887fb1f2cea5b31b95f6452707e843124859`
MD5	`bf7bc29e4d7949e4f954d3d43bf38b15`
BLAKE2b-256	`52ff83db8e9b117589ba8ce12f27611f52332e42320cf40f377153d91dff6d96`

See more details on using hashes here.

Provenance

The following attestation bundles were made for fixprove-0.1.12.tar.gz:

Publisher: release.yml on FixProve/fixprove

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: fixprove-0.1.12.tar.gz
- Subject digest: 564619cc7e0b93d2bd9a8efe6511887fb1f2cea5b31b95f6452707e843124859
- Sigstore transparency entry: 2533434875
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: FixProve/fixprove@a0932c7cf658cfcd2367d04329779d4ad477d75c
- Branch / Tag: refs/tags/v0.1.12
- Owner: https://github.com/FixProve
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@a0932c7cf658cfcd2367d04329779d4ad477d75c
- Trigger Event: push