Guidance for AI agents (Codex, Claude Code, and any Coven familiar) opening
pull requests against this repo. Humans: your canonical guide is
CONTRIBUTING.md — this is the agent-specific layer on top.
Read first:
README.mdfor what this repo is, andCONTRIBUTING.mdfor the full contribution bar — including the DCO sign-off requirement, which is mandatory here.
@opencoven/coven-devkit is an OpenClaw plugin package that bundles narrow,
repo-aware skills for expert Coven work.
This repo uses the Developer Certificate of Origin. Every commit needs a
Signed-off-by trailer or merge will block it:
git commit -s -m "type: summary"Use a real GitHub-linked identity. See CONTRIBUTING.md for
the full DCO text.
- Never push to
main. Every change lands via a PR with green CI. Branch from currentorigin/main. - Fresh branch per task; use a worktree if multiple sessions may touch this
repo:
git fetch origin main git worktree add -b <branch> /tmp/devkit-<branch> origin/main
- Keep the diff scoped to one concern; conventional-commit subjects (
feat:,fix:,docs:,chore:,refactor:). - After merge: delete the remote branch, remove your local worktree/branch.
pnpm run check # scripts/validate-skills.sh — every skill must validateA skill that fails validation blocks the PR. Fix the skill manifest/structure rather than skipping the check.
- Skills must stay narrow and repo-aware — one clear job each, not general-purpose grab bags.
- Every skill must pass
validate-skills.sh. When you add or edit a skill, keep itsSKILL.mdand any referenced assets consistent and self-contained. - This is a plugin package consumed by OpenClaw; keep the packaging surface
(
@opencoven/coven-devkit) stable and intentional.
When you re-land or build on someone else's work (a fork PR, an issue author's proposal, a co-author), credit the human contributor with a working GitHub-linked trailer so they appear in the contributors graph:
Co-authored-by: Full Name <ID+username@users.noreply.github.com>
- Use the numeric-id no-reply form. Get the id with
gh api users/<login> --jq .id. - Never use a machine or
.localemail in a co-author trailer — it links to no account and gives zero credit. - A commit can carry both
Signed-off-by:(DCO, required) andCo-authored-by:(attribution) trailers — include both when re-landing a contributor's work. - Credit people, not AI tools.
- Never commit secrets, tokens, or private emails. Use
*.noreply.github.comfor attribution. - Don't disable CI gates or branch protection to land a change; surface the blocker instead.
CLAUDE.md points here — this file is the source of truth for both.