Skip to content

Describe repository hook setup as detecting harnesses; test that contract #65

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
calvin-archastro merged 1 commit into from
Oct 13, 2026
Merged

Describe repository hook setup as detecting harnesses; test that contract #65

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 6 additions & 3 deletions archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
16 changes: 10 additions & 6 deletions archdev/references/map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,12 +99,16 @@ members can read it. Reporting is always on; do not ask about it.
"$archdev" repo hook setup --local
```

This prepares Claude Code, Codex, Grok, Pi, and ArchDev, even if those tools are
not installed yet. It preserves other tools' settings and user-wide hooks.
Claude uses shareable `.claude/settings.json`; the other paths are
`.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
and `.archdev/hooks.json`. Missing-binary callbacks provide installation
guidance without downloads. Node.js is required for shared JSON callbacks.
This configures ArchDev and the harnesses detected here: a harness whose user
config directory exists on this machine, or whose directory is already in the
repository. It reports the others as absent and preserves other tools' settings
and user-wide hooks. To prepare every supported harness for teammates who use
other tools, add `--all-harnesses` (CLI 0.50.1+); `--harness <names>` selects
particular ones. Claude uses shareable `.claude/settings.json`; the other paths
are `.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
`.agents/hooks.json` (Gemini), and `.archdev/hooks.json`. Missing-binary
callbacks provide installation guidance without downloads. Node.js is required
for shared JSON callbacks.
Codex and Grok require project trust; never approve it automatically. Reload
Pi after installing its extension. Share files only through approved code
review, never automatic commits.
Expand Down
9 changes: 6 additions & 3 deletions plugins/antigravity/skills/archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
16 changes: 10 additions & 6 deletions plugins/antigravity/skills/archdev/references/map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,12 +99,16 @@ members can read it. Reporting is always on; do not ask about it.
"$archdev" repo hook setup --local
```

This prepares Claude Code, Codex, Grok, Pi, and ArchDev, even if those tools are
not installed yet. It preserves other tools' settings and user-wide hooks.
Claude uses shareable `.claude/settings.json`; the other paths are
`.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
and `.archdev/hooks.json`. Missing-binary callbacks provide installation
guidance without downloads. Node.js is required for shared JSON callbacks.
This configures ArchDev and the harnesses detected here: a harness whose user
config directory exists on this machine, or whose directory is already in the
repository. It reports the others as absent and preserves other tools' settings
and user-wide hooks. To prepare every supported harness for teammates who use
other tools, add `--all-harnesses` (CLI 0.50.1+); `--harness <names>` selects
particular ones. Claude uses shareable `.claude/settings.json`; the other paths
are `.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
`.agents/hooks.json` (Gemini), and `.archdev/hooks.json`. Missing-binary
callbacks provide installation guidance without downloads. Node.js is required
for shared JSON callbacks.
Codex and Grok require project trust; never approve it automatically. Reload
Pi after installing its extension. Share files only through approved code
review, never automatic commits.
Expand Down
9 changes: 6 additions & 3 deletions plugins/claude/skills/archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
16 changes: 10 additions & 6 deletions plugins/claude/skills/archdev/references/map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,12 +99,16 @@ members can read it. Reporting is always on; do not ask about it.
"$archdev" repo hook setup --local
```

This prepares Claude Code, Codex, Grok, Pi, and ArchDev, even if those tools are
not installed yet. It preserves other tools' settings and user-wide hooks.
Claude uses shareable `.claude/settings.json`; the other paths are
`.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
and `.archdev/hooks.json`. Missing-binary callbacks provide installation
guidance without downloads. Node.js is required for shared JSON callbacks.
This configures ArchDev and the harnesses detected here: a harness whose user
config directory exists on this machine, or whose directory is already in the
repository. It reports the others as absent and preserves other tools' settings
and user-wide hooks. To prepare every supported harness for teammates who use
other tools, add `--all-harnesses` (CLI 0.50.1+); `--harness <names>` selects
particular ones. Claude uses shareable `.claude/settings.json`; the other paths
are `.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
`.agents/hooks.json` (Gemini), and `.archdev/hooks.json`. Missing-binary
callbacks provide installation guidance without downloads. Node.js is required
for shared JSON callbacks.
Codex and Grok require project trust; never approve it automatically. Reload
Pi after installing its extension. Share files only through approved code
review, never automatic commits.
Expand Down
9 changes: 6 additions & 3 deletions plugins/codex/skills/archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
16 changes: 10 additions & 6 deletions plugins/codex/skills/archdev/references/map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,12 +99,16 @@ members can read it. Reporting is always on; do not ask about it.
"$archdev" repo hook setup --local
```

This prepares Claude Code, Codex, Grok, Pi, and ArchDev, even if those tools are
not installed yet. It preserves other tools' settings and user-wide hooks.
Claude uses shareable `.claude/settings.json`; the other paths are
`.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
and `.archdev/hooks.json`. Missing-binary callbacks provide installation
guidance without downloads. Node.js is required for shared JSON callbacks.
This configures ArchDev and the harnesses detected here: a harness whose user
config directory exists on this machine, or whose directory is already in the
repository. It reports the others as absent and preserves other tools' settings
and user-wide hooks. To prepare every supported harness for teammates who use
other tools, add `--all-harnesses` (CLI 0.50.1+); `--harness <names>` selects
particular ones. Claude uses shareable `.claude/settings.json`; the other paths
are `.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
`.agents/hooks.json` (Gemini), and `.archdev/hooks.json`. Missing-binary
callbacks provide installation guidance without downloads. Node.js is required
for shared JSON callbacks.
Codex and Grok require project trust; never approve it automatically. Reload
Pi after installing its extension. Share files only through approved code
review, never automatic commits.
Expand Down
9 changes: 6 additions & 3 deletions plugins/copilot/skills/archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
16 changes: 10 additions & 6 deletions plugins/copilot/skills/archdev/references/map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,12 +99,16 @@ members can read it. Reporting is always on; do not ask about it.
"$archdev" repo hook setup --local
```

This prepares Claude Code, Codex, Grok, Pi, and ArchDev, even if those tools are
not installed yet. It preserves other tools' settings and user-wide hooks.
Claude uses shareable `.claude/settings.json`; the other paths are
`.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
and `.archdev/hooks.json`. Missing-binary callbacks provide installation
guidance without downloads. Node.js is required for shared JSON callbacks.
This configures ArchDev and the harnesses detected here: a harness whose user
config directory exists on this machine, or whose directory is already in the
repository. It reports the others as absent and preserves other tools' settings
and user-wide hooks. To prepare every supported harness for teammates who use
other tools, add `--all-harnesses` (CLI 0.50.1+); `--harness <names>` selects
particular ones. Claude uses shareable `.claude/settings.json`; the other paths
are `.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
`.agents/hooks.json` (Gemini), and `.archdev/hooks.json`. Missing-binary
callbacks provide installation guidance without downloads. Node.js is required
for shared JSON callbacks.
Codex and Grok require project trust; never approve it automatically. Reload
Pi after installing its extension. Share files only through approved code
review, never automatic commits.
Expand Down
9 changes: 6 additions & 3 deletions plugins/cursor/skills/archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
16 changes: 10 additions & 6 deletions plugins/cursor/skills/archdev/references/map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,12 +99,16 @@ members can read it. Reporting is always on; do not ask about it.
"$archdev" repo hook setup --local
```

This prepares Claude Code, Codex, Grok, Pi, and ArchDev, even if those tools are
not installed yet. It preserves other tools' settings and user-wide hooks.
Claude uses shareable `.claude/settings.json`; the other paths are
`.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
and `.archdev/hooks.json`. Missing-binary callbacks provide installation
guidance without downloads. Node.js is required for shared JSON callbacks.
This configures ArchDev and the harnesses detected here: a harness whose user
config directory exists on this machine, or whose directory is already in the
repository. It reports the others as absent and preserves other tools' settings
and user-wide hooks. To prepare every supported harness for teammates who use
other tools, add `--all-harnesses` (CLI 0.50.1+); `--harness <names>` selects
particular ones. Claude uses shareable `.claude/settings.json`; the other paths
are `.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
`.agents/hooks.json` (Gemini), and `.archdev/hooks.json`. Missing-binary
callbacks provide installation guidance without downloads. Node.js is required
for shared JSON callbacks.
Codex and Grok require project trust; never approve it automatically. Reload
Pi after installing its extension. Share files only through approved code
review, never automatic commits.
Expand Down
9 changes: 6 additions & 3 deletions plugins/grok/skills/archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
16 changes: 10 additions & 6 deletions plugins/grok/skills/archdev/references/map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,12 +99,16 @@ members can read it. Reporting is always on; do not ask about it.
"$archdev" repo hook setup --local
```

This prepares Claude Code, Codex, Grok, Pi, and ArchDev, even if those tools are
not installed yet. It preserves other tools' settings and user-wide hooks.
Claude uses shareable `.claude/settings.json`; the other paths are
`.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
and `.archdev/hooks.json`. Missing-binary callbacks provide installation
guidance without downloads. Node.js is required for shared JSON callbacks.
This configures ArchDev and the harnesses detected here: a harness whose user
config directory exists on this machine, or whose directory is already in the
repository. It reports the others as absent and preserves other tools' settings
and user-wide hooks. To prepare every supported harness for teammates who use
other tools, add `--all-harnesses` (CLI 0.50.1+); `--harness <names>` selects
particular ones. Claude uses shareable `.claude/settings.json`; the other paths
are `.codex/hooks.json`, `.grok/hooks/archdev.json`, `.pi/extensions/archdev.js`,
`.agents/hooks.json` (Gemini), and `.archdev/hooks.json`. Missing-binary
callbacks provide installation guidance without downloads. Node.js is required
for shared JSON callbacks.
Codex and Grok require project trust; never approve it automatically. Reload
Pi after installing its extension. Share files only through approved code
review, never automatic commits.
Expand Down
9 changes: 6 additions & 3 deletions plugins/opencode/skills/archdev/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ not consent; preserve uninstall opt-outs and request permission when needed.
| Repository | `"$archdev" repo hook setup --local` |
| User-wide | `"$archdev" repo hook setup` |

Repository setup prepares Claude Code, Codex, Grok, Pi, and ArchDev, even
before those tools are installed. User-wide setup detects installed harnesses.
Use `--harness claude codex` only when the user selects particular tools.
Both scopes configure ArchDev and the harnesses they detect: a harness whose
user config directory exists on this machine or, for repository setup, whose
directory is already in the repository. Use `--harness claude codex` only when
the user selects particular tools. To prepare every supported harness in the
repository for teammates who use other tools, add `--all-harnesses` (CLI
0.50.1+).
These are first-install commands, not repair commands. Repair existing hooks
with `--refresh`, retaining `--local` for repository placement; this preserves
personal uninstall opt-outs. Reinstall an opted-out tool only with separate
Expand Down
Loading
Loading