chore(skills): migrate agent-tools skills to Miden v0.16 - #17

Open

Keinberger wants to merge 5 commits into

mainfrom

kbg/chore/sync-template-skills-v16

Commits on Aug 26, 2026

chore(skills): migrate agent-tools skills to Miden v0.16
Keinberger
committed
8b86ae3

Commits on Aug 27, 2026

fix(skills): apply independent-audit revisions — exact-upstream bucket-A, FPI model, citation fixes
Keinberger
committed
e4f4264

Commits on Sep 7, 2026

fix(skills): correct FPI output-pointer limit guidance
Keinberger
committed
7659b55
fix(skills): correct cross-component wit key guidance
Keinberger
committed
6c71739
fix(skills): bump source pins to the current v0.16 line
Keinberger
committed
13f754a