Proof-carrying workflows for coding agents: bind tests to exact code, detect stale evidence, review scope, and hand proof across agents.
AdvancingTitans/agent-engineering-toolkit
Skill Claude CodeCodex
Run a bounded AET check of Agent instructions, Skills, verification contracts, and dangerous authority. Use only when the user explicitly invokes /aet-check or asks for this AET Quick check.
AdvancingTitans/agent-engineering-toolkit
Skill Claude CodeCodex
Deterministically check whether an AET proof still applies to the current workspace. Use only for an explicit /aet-fresh request.
AdvancingTitans/agent-engineering-toolkit
Skill Claude CodeCodex
Create a bounded, read-only investigation from normalized Codex or Claude Code Run Records, optionally inspect explicit AET Proof and Freshness records, and export a Portable Evidence Bundle for an independent reviewer.
AdvancingTitans/agent-engineering-toolkit
Skill Claude CodeCodex
Build and validate a bounded, evidence-linked implementation plan without editing source or executing commands. Use when the user explicitly invokes /aet-plan or asks AET for an evidence-guided code plan.
AdvancingTitans/agent-engineering-toolkit
Skill Claude CodeCodex
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.
AdvancingTitans/agent-engineering-toolkit
Skill Claude CodeCodex
Investigate whether an AI coding change matches the user's task and whether cross-module changes are necessary. Use only for an explicit /aet-scope request.
AdvancingTitans/agent-engineering-toolkit
Skill Codex
Compatibility entrypoint for AET Quick and advanced AET Lab workflows. Prefer the four dedicated Quick Skills for daily work; use this Skill only when the user explicitly asks for legacy CLI or Lab capabilities.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: