Software Quality Python Packages

maid-runner

A deterministic CLI for manifest-driven AI development. MAID Runner turns change requirements into enforceable contracts for planning, TDD, implementation, review, and validation—helping AI coding agents deliver disciplined, evidence-backed changes with less drift.

finefettle

Open-source trust layer for AI coding agents: in-session quality, delegation-safe policy, and evidence-bound verification

verification-ecology-kit

Python toolkit for verification auditing, residual ledgers, conformance checks, and verifier packet workflows.

evagix

Local-first CLI for evidence validation, repository governance, and AI-assisted development workflows.

thoth-solver

Dependency solver for the Thoth project

avera-gate

Deterministic regression gate for CI — green CI proves nothing failed, AVERA proves nothing regressed.

teamscale-cli

A Teamscale command line interface to integrate findings into text editors such as vim, emacs or sublime.

spec-guard

Validation-First Workflow (VFW) for AI-assisted development

pup-check

Professional Python repository self-consistency checker

review-gauntlet

Coverage gate for agentic code reviews: orchestrate AI reviewers, track review coverage, preserve evidence, and block finalization until findings are closed.

specterqa

AI persona-based behavioral testing for web apps. No test scripts. YAML-configured. Vision-powered.

pysertive

✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.