Skip to content
Back to the index

proofkit

PyPIInfrastructure

PulseGate's liveness check found it on 10 Sep 2026; it is registered on PyPI and has been in the index since 10 Sep 2026. How this is checked

Proofkit captures a bug once and verifies proposed fixes across environments, helping developers detect false completion claims from AI coding agents. It is distributed as an MIT-licensed Python package for automated fix validation and regression testing.

Inferred · not functionally tested

Open SourceMITCLISelf-hosted
Visit PyPI

Overview

5 features

Purpose: Preventing AI coding agents from falsely claiming that software bugs have been fixed.

Inferred · not functionally tested

Audience: software developers using AI coding agents

Inferred · not functionally tested

Functions: Unknown

Interfaces: API: unknown · MCP: unknown · CLI: indicated (inferred, not tested) · Self-hosting: indicated (inferred, not tested)

Recorded constraints: pricing: open_source · license: MIT · platforms: CLI · deployment: cli, self_hosted

Constraint provenance is unknown; confirm requirements with the publisher.

Record sources: pypi.org. These links do not verify the individual claims.

proofkit sits in PulseGate's Testing & QA category. Inferred · not functionally tested: It focuses on preventing AI coding agents from falsely claiming that software bugs have been fixed. Inferred · not functionally tested: proofkit is an open-source project aimed at software developers using AI coding agents. Basis unknown · not verified: proofkit is open source under the MIT license. Basis unknown · not verified: It ships for the command line, and it can be self-hosted.

proofkit first shipped in 2026. Inferred · not functionally tested: Among its 5 catalogued features are bug capture, fix verification, and regression testing.

Summary written by a language model from the project’s public pages.

Tasks: Inferred · not functionally tested

  • Bug capture
  • Fix verification
  • Regression testing
  • Cross-environment checks
  • AI agent validation

Topics: Inferred · not functionally tested

Tags
ai-coding-agentsbug-verificationregression-testingfix-validation

JSON profile · Text profile · Access guide

Built with & integrations

Runs on
CLISelf-hosted

Trust & compliance

License
MIT
Public signals
HTTPSOpen SourceFree tier

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed10 Sep · 14:42 UTC
    proofkit seen via PyPI Bulk Enumerator
    Source: PyPI Bulk Enumerator · Open

Frequently asked questions about proofkit

What is proofkit?
Inferred · not functionally tested: Proofkit focuses on preventing AI coding agents from falsely claiming that software bugs have been fixed. It is catalogued under Testing & QA on PulseGate.
Who should use proofkit?
Inferred · not functionally tested: proofkit is an open-source project built for software developers using AI coding agents.
Does proofkit have a free plan?
Basis unknown · not verified: Yes — proofkit is open source under the MIT license and free to use.
What platforms does proofkit run on?
Basis unknown · not verified: proofkit runs on the command line. It can also be self-hosted.
Is proofkit still active?
PulseGate's liveness check found it on 10 Sep 2026.
How long has proofkit been around?
proofkit first shipped in 2026.
Is proofkit open source?
Basis unknown · not verified: Yes — proofkit is open source under the MIT license.

Similar projects

Closest matches by what these projects do