This release is a pre-release and may not be stable for production use.
Proofed
Ask the code—not the agent—whether the work is done.
Coding agents can claim “done” without evidence. Proofed refuses PASSED until the current code has the evidence your repository requires, then writes a portable completion receipt.
Add the completion-gate Skill
npx skills add liangfeng-hu/proofed --skill proofed-verify
The Skill works with existing coding agents; it does not replace them. After the PyPI release, install the distribution as python -m pip install proofed-agent; until then, use the pinned alpha tag:
python -m pip install "git+https://github.com/liangfeng-hu/proofed.git@v0.1.0-alpha.1"
Watch false completion fail
$ proofed verify
REJECT: missing tests_passed
$ proofed verify --run-tests
PASSED: current code has all required evidence
$ proofed check-receipt RECEIPT --current .
VALID: PASSED receipt matches current subject
Change one byte afterward and the old receipt is rejected as STALE_SUBJECT. Run the complete demo in about 30 seconds.
Why the receipt is different
- Portable: Python and JavaScript verifiers can read it without the Proofed kernel, its state database, or a machine-local secret.
- Current-subject bound: a code change makes an old receipt stale.
- CI distrusts committed PASS files: the Action re-runs configured checks against the current checkout.
Use it in a repository
proofed init
proofed run . --intent "finish the current repository task"
proofed status
proofed verify --run-tests
proofed init is the explicit repository opt-in. It currently detects canonical pytest, unittest, and npm test commands.
Make the same gate a PR check:
- uses: liangfeng-hu/proofed@v0.1.0-alpha.1
with:
target: .
Go deeper
spec/srr-0.1.md— receipt format, subject binding, and L0/L1/L2 trust modelspec/invariants.md— normative invariants and exact v0.1 coverageskills/proofed-verify/SKILL.md— Agent Skill entry pointCONTRIBUTING.md— add a collector, false-completion case, or independent implementation
Alpha boundary: Proofed v0.1-alpha enforces evidence-gated completion and stale-subject rejection. It does not claim production closure, universal exactly-once effects, an unbypassable host hook, or that passing tests proves correct software. CI is the stronger enforcement surface.
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file proofed_agent-0.1.0a2.tar.gz.
File metadata
- Download URL: proofed_agent-0.1.0a2.tar.gz
- Upload date:
- Size: 23.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via:
twine/7.0.0 CPython/3.13.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
898c752eb588b8d68c47db6c0b678f8044c57db679b4b3afcc8742765fffa114
|
|
| MD5 |
deb68fc4a9ab480d4cc7b655c7eda46b
|
|
| BLAKE2b-256 |
53507285f97c8cdc8a0a88347d4600481b68c60659f9aac70e5b3a3a5141f863
|
Provenance
The following attestation bundles were made for proofed_agent-0.1.0a2.tar.gz:
Publisher:
publish-pypi.yml on liangfeng-hu/proofed
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
proofed_agent-0.1.0a2.tar.gz -
Subject digest:
898c752eb588b8d68c47db6c0b678f8044c57db679b4b3afcc8742765fffa114 - Sigstore transparency entry: 2662116988
- Sigstore integration time:
-
Permalink:
liangfeng-hu/proofed@37b9bacfbe4e6b5eb59f2860e0c580a09022081b -
Branch / Tag:
refs/tags/v0.1.0-alpha.2 - Owner: https://github.com/liangfeng-hu
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish-pypi.yml@37b9bacfbe4e6b5eb59f2860e0c580a09022081b -
Trigger Event:
release
-
Statement type:
File details
Details for the file proofed_agent-0.1.0a2-py3-none-any.whl.
File metadata
- Download URL: proofed_agent-0.1.0a2-py3-none-any.whl
- Upload date:
- Size: 22.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via:
twine/7.0.0 CPython/3.13.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8dd82991b62835e3d75f4ee8b3cbd99acfea90bc7639570b24cbcad03de74fe4
|
|
| MD5 |
c28653a711c299adace56817ccb16522
|
|
| BLAKE2b-256 |
851a5efa2d3bdb94b5c60c641868ada02630d3f64d7c0f848712a76f3246a4ce
|
Provenance
The following attestation bundles were made for proofed_agent-0.1.0a2-py3-none-any.whl:
Publisher:
publish-pypi.yml on liangfeng-hu/proofed
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
proofed_agent-0.1.0a2-py3-none-any.whl -
Subject digest:
8dd82991b62835e3d75f4ee8b3cbd99acfea90bc7639570b24cbcad03de74fe4 - Sigstore transparency entry: 2662117019
- Sigstore integration time:
-
Permalink:
liangfeng-hu/proofed@37b9bacfbe4e6b5eb59f2860e0c580a09022081b -
Branch / Tag:
refs/tags/v0.1.0-alpha.2 - Owner: https://github.com/liangfeng-hu
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish-pypi.yml@37b9bacfbe4e6b5eb59f2860e0c580a09022081b -
Trigger Event:
release
-
Statement type:
