Skip to content

Update AGENTS.md to reference /hol4 skills

d54e460
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Simplify AGENTS.md by delegating HOL tool docs to /hol skill #29

Update AGENTS.md to reference /hol4 skills
d54e460
Select commit
Loading
Failed to load commit list.
build
succeeded Dec 28, 2025 in 5m 25s