feat(trailmark): skills that reason about code as graphs#133

Merged

tob-scott-a merged 14 commits intomainfrom

Mar 31, 2026

Commits on Mar 30, 2026

feat(trailmark): skills that reason about code as graphs
tob-scott-a
committed
Add Codex skill symlinks for trailmark plugin

tob-scott-a
and
claude
committed
Address PR #133 review feedback

tob-scott-a
and
claude
committed
Fix diagram skill to use uv run instead of plain python

tob-scott-a
and
claude
committed
Address second round of PR #133 review feedback

tob-scott-a
and
claude
committed
Local skill-improver review pass across all 10 trailmark skills

tob-scott-a
and
claude
committed
Address third round of PR #133 review feedback

tob-scott-a
and
claude
committed
Address fourth round of PR #133 review feedback

tob-scott-a
and
claude
committed
Address fifth round of PR #133 review feedback

tob-scott-a
and
claude
committed
Fix ProVerif type consistency and graph-evolution template vars

tob-scott-a
and
claude
committed
Comprehensive vivisect-style review of all trailmark skills

tob-scott-a
and
claude
committed
Fix ProVerif type consistency and graph-evolution template vars

tob-scott-a
and
claude
committed
Fix mermaid-to-proverif template: missing beginI event and secrecy witness

tob-scott-a
and
claude
committed
Address sixth round of PR #133 review feedback

tob-scott-a
and
claude
committed