AdvancingTitans
UserProof-carrying workflows for coding agents: bind tests to exact code, detect stale evidence, review scope, and hand proof across agents.
Categories
Indexed Skills (8)
agent-engineering-toolkit
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.
aet-investigate
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.
aet-plan
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.
aet-check
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.
aet-fresh
Deterministically check whether an AET proof still applies to the current workspace. Use only for an explicit /aet-fresh request.
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.
aet-scope
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.
release-check
Verify a release candidate before publishing it.
Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.