designing-assertions
Designs Phylax Credible Layer assertion invariants and trigger mapping. Use when scoping protocols, selecting invariants, or mapping functions to checks.
Also installable via skills CLI
npx skills add phylaxsystems/agent-skills/data/designing-assertions