Skip to content

Add OpenCode + oh-my-opencode to dev containers#43

Merged
skulidropek merged 6 commits intoProverCoderAI:mainfrom
skulidropek:issue-34
Feb 15, 2026
Merged

Add OpenCode + oh-my-opencode to dev containers#43
skulidropek merged 6 commits intoProverCoderAI:mainfrom
skulidropek:issue-34

Conversation

@skulidropek
Copy link
Copy Markdown
Contributor

Fixes #34.

  • Preinstalls OpenCode binary and oh-my-opencode CLI in the generated Dockerfile
  • Bootstraps ~/.config/opencode/opencode.json (plugins + permissions)
  • Shares OpenCode auth.json across projects via the existing shared auth volume
  • Updates generated AGENTS notice and tests

@skulidropek skulidropek merged commit 03c97dd into ProverCoderAI:main Feb 15, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Добавить предустановку OpenCode и ohmyopencode с полной авторизацией текущих инструментов

1 participant