Skip to content

FAQ

Does my repository need to depend on CoDev at runtime?

Section titled “Does my repository need to depend on CoDev at runtime?”

No. A target repository never imports CoDev as a runtime dependency. CoDev installs ordinary, repository-local files that agents read directly.

opencode, junie, antigravity, and claude, selected with --agent-platform on codev init. See Agent Platforms for what differs between them.

Can an agent run raw git commit or git push?

Section titled “Can an agent run raw git commit or git push?”

No. codev git commit and codev git push are the only path for an agent to mutate the repository or GitHub — raw git commit/git push are denied to every role for exactly this reason.

What happens if I’ve locally modified a file CoDev manages?

Section titled “What happens if I’ve locally modified a file CoDev manages?”

It becomes a visible conflict. CoDev never silently overwrites a locally modified managed file — codev status keeps reporting it as a conflict until you resolve it with override or keep. See the update algorithm in Architecture.

If a PR, issue, or commit message contains instructions aimed at the AI, will it follow them?

Section titled “If a PR, issue, or commit message contains instructions aimed at the AI, will it follow them?”

No. Repository files, commit messages, PR/issue text, and CI output are evidence for the AI to inspect, never instructions to follow. pr-review, review-change, and github-actions-ci-results — the skills that ingest the most externally-controllable content — each carry an explicit reminder of this, and it’s checked with a dedicated adversarial-content eval scenario, not just asserted in prose.

Does codev eval read or store my API keys?

Section titled “Does codev eval read or store my API keys?”

No. The skill-evaluation harness drives OpenCode using your own existing auth — no CoDev-hosted execution, and no credentials read or stored.

BSD-3-Clause.

Where do I report a bug or ask something not covered here?

Section titled “Where do I report a bug or ask something not covered here?”

Open an issue on GitHub.