invariant-verify
invariant-verify is an MIT-licensed Python package for declaring and checking invariants in software systems. It runs verification checks and writes proof bundles containing evidence, making it useful for developers integrating verification into CI pipelines.
Overview
5 featuresIn the Testing & QA space, invariant-verify takes a focused approach. It focuses on proving that declared system invariants remain true and preserving verification evidence beyond a pass/fail result. invariant-verify is an open-source project aimed at software developers and CI engineers. The project is open source (MIT). It runs on the command line, and it can be self-hosted.
It is developed by MaXiMo000, and it first shipped in 2026. The project is developed in the open on GitHub with 18 commits in the last 90 days. Key capabilities include invariant assertions, CI verification, and proof bundles.
Summary written by a language model from the project’s public pages.
- Invariant assertions
- CI verification
- Proof bundles
- Security checks
- Postgres checks
Built with & integrations
- Claude Code
- commit bdd8bc96d2f1 · since Sept 2026
Trust & compliance
Indexing history
1What PulseGate has recorded for this listing
- Indexed9 Sept · 13:10 UTCinvariant-verify verified via PyPI Fresh FeedSource: PyPI Fresh Feed · Open
Frequently asked questions about invariant-verify
- What is invariant-verify?
- Invariant-verify focuses on proving that declared system invariants remain true and preserving verification evidence beyond a pass/fail result. It is catalogued under Testing & QA on PulseGate.
- Who should use invariant-verify?
- invariant-verify is an open-source project built for software developers and CI engineers.
- Is invariant-verify free?
- Yes — invariant-verify is open source under the MIT license and free to use.
- What platforms does invariant-verify run on?
- invariant-verify runs on the command line. It can also be self-hosted.
- Is invariant-verify still maintained?
- The GitHub repository shows 18 commits in the last 90 days.
- Who makes invariant-verify?
- invariant-verify is developed by MaXiMo000.
- How long has invariant-verify been around?
- invariant-verify first shipped in 2026.
- Is invariant-verify open source?
- Yes — invariant-verify is open source under the MIT license, developed on GitHub.
Similar projects
Closest matches by what these projects do