Aet proof
Skill AdvancingTitans/agent-engineering-toolkit/skills/aet-proof
Execute one explicit verification command and record a minimal hash-bound AET proof receipt. Use only when the user explicitly invokes /aet-proof or asks AET to prove a command ran.From its SKILL.md
npx -y skills add AdvancingTitans/agent-engineering-toolkit --skill aet-proofAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
2 things to look at
- 28 days oldThe repository was created 28 days ago. New is not bad, but a brand new repository carrying a familiar-sounding name is the shape a typosquat arrives in, and there has been no time for anyone else to find a problem with it.
- 2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
SKILL.md
1.5 KB, 285 tokens by cl100k_base, as published. Nobody here has run it
/aet-proof
Answer one question: did this exact verification command run on this workspace?
Run:
aet quick proof --output <proof.json> \
[--relevant-path <path>] [--artifact <path>] -- <argv>
The user's explicit /aet-proof call authorizes writing the requested JSON
receipt. It does not authorize any other write. The host LLM may locate the
project's recommended command, smallest relevant test set, relevant paths, and
declared artifacts. The deterministic executor alone records argv, timestamps,
exit code, redacted log digests, Git/worktree binding, relevant file hashes,
environment binding, and artifacts.
Never describe an unexecuted or non-zero command as passed. Never reuse a historical result as a new execution. State that a bounded test does not prove the full test suite passed. Do not generate HTML, SVG, Viewer, or Evidence Pack.
Budget: command duration, at most one LLM call only when locating the command, zero remote calls by default, and one receipt write.
For a Chinese /aet-proof request, explain the receipt in natural Simplified
Chinese while keeping code and required technical terms in English. Otherwise
use English.
Write the one receipt, report its scope, and stop. Do not run additional tests or invoke Fresh unless the user explicitly requests them.
What ships with it
Read from the repository
Just SKILL.md. No reference files, no scripts.