Repository navigation

chore: add AGENTS.md, a single docs gate and a CI check for broken links - #144

Merged

justprosh merged 3 commits into

mainfrom

chore/agents-md

Oct 29, 2026

Merged

chore: add AGENTS.md, a single docs gate and a CI check for broken links#144
justprosh merged 3 commits into
mainfrom
chore/agents-md

Commits on Oct 27, 2026
- chore: add AGENTS.md, a single docs gate and a CI check for broken links
  justprosh
  committed
  eb9308f
- chore: describe the Stake section without page names
  justprosh
  committed
  9b25cb4
Commits on Oct 29, 2026
- Merge remote-tracking branch 'origin/main' into chore/agents-md
  justprosh
  committed
  30d3c51