-
Notifications
You must be signed in to change notification settings - Fork 0
Add Codex parity tooling #154
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.
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
Open
BASIC-BIT
wants to merge
1
commit into
main
Choose a base branch
from
codex/codex-parity-tooling
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Changes from all commits
Commits
File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,57 @@ | ||
| [mcp_servers.playwright] | ||
| command = "npx" | ||
| args = ["-y", "@playwright/mcp@latest"] | ||
|
|
||
| [mcp_servers.vercel_vrdex] | ||
| url = "https://mcp.vercel.com" | ||
|
|
||
| [mcp_servers.convex] | ||
| command = "npx" | ||
| args = ["convex", "mcp", "start", "--project-dir", "."] | ||
|
|
||
| [mcp_servers.aws_docs] | ||
| command = "C:/Users/steve/.local/bin/uvx.exe" | ||
| args = ["awslabs.aws-documentation-mcp-server@latest"] | ||
|
|
||
| [mcp_servers.aws_docs.env] | ||
| FASTMCP_LOG_LEVEL = "ERROR" | ||
| AWS_DOCUMENTATION_PARTITION = "aws" | ||
|
|
||
| [mcp_servers.aws_iac] | ||
| command = "C:/Users/steve/.local/bin/uvx.exe" | ||
| args = ["awslabs.aws-iac-mcp-server@latest"] | ||
|
|
||
| [mcp_servers.aws_iac.env] | ||
| FASTMCP_LOG_LEVEL = "ERROR" | ||
|
|
||
| [mcp_servers.aws_terraform] | ||
| command = "uvx" | ||
| args = ["awslabs.terraform-mcp-server@latest"] | ||
|
|
||
| [mcp_servers.aws_terraform.env] | ||
| FASTMCP_LOG_LEVEL = "ERROR" | ||
| AWS_PROFILE = "default" | ||
| AWS_REGION = "us-east-1" | ||
|
|
||
| [mcp_servers.aws_mcp] | ||
| command = "uvx" | ||
| args = [ | ||
| "--from", | ||
| "mcp-proxy-for-aws@latest", | ||
| "mcp-proxy-for-aws.exe", | ||
| "https://aws-mcp.us-east-1.api.aws/mcp", | ||
| "--service", | ||
| "aws-mcp", | ||
| "--profile", | ||
| "default", | ||
| "--region", | ||
| "us-east-1", | ||
| ] | ||
|
|
||
| [mcp_servers.daytona] | ||
| command = "C:/Users/steve/AppData/Roaming/bin/daytona/daytona.exe" | ||
| args = ["mcp", "start"] | ||
|
|
||
| [mcp_servers.daytona.env] | ||
| APPDATA = "C:\\Users\\steve\\AppData\\Roaming" | ||
| HOME = "C:\\Users\\steve" | ||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,22 @@ | ||
| --- | ||
| name: vrcdn | ||
| description: Work with VRCDN provider setup, URL formats, smoke tests, and VRDex restream POC flows without leaking stream credentials. | ||
| --- | ||
|
|
||
| # VRCDN | ||
|
|
||
| This is the Codex wrapper for the repo source skill: | ||
|
|
||
| - `.opencode/skills/vrcdn/SKILL.md` | ||
|
Comment on lines
+9
to
+10
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
Prompt To Fix With AIThis is a comment left during a code review.
Path: .codex/skills/vrcdn/SKILL.md
Line: 9-10
Comment:
**Missing source skill**
This wrapper routes Codex to `.opencode/skills/vrcdn/SKILL.md`, but the repository has no `.opencode/skills/**/SKILL.md` files. Opening the new Codex skill leads agents to a missing source of truth, so the wrapper cannot provide the advertised VRCDN guidance.
How can I resolve this? If you propose a fix, please make it concise. |
||
|
|
||
| Read that source skill before working on VRCDN provider setup, smoke tests, URL | ||
| handling, or restream POC diagnosis. Treat it as the source of truth for safety | ||
| boundaries and validation commands. | ||
|
|
||
| Codex translation notes: | ||
|
|
||
| - Use Codex MCP tools when available; otherwise use the documented CLI fallback. | ||
| - Never print, commit, or paste stream keys, provider passwords, combined ingest | ||
| URLs, signed URLs, or copied provider secrets. | ||
| - Report only public preview/playback URLs when they contain no credential | ||
| material, plus secret names, task IDs, sanitized event names, and status. | ||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,21 @@ | ||
| --- | ||
| name: vrdex-onboarding | ||
| description: Onboard a new Codex agent or maintainer to VRDex's repo structure, software-factory posture, and local-vs-global context model. | ||
| --- | ||
|
|
||
| # VRDex Onboarding | ||
|
|
||
| This is the Codex wrapper for the repo source skill: | ||
|
|
||
| - `.opencode/skills/vrdex-onboarding/SKILL.md` | ||
|
|
||
| Read that source skill before onboarding a new agent or maintainer. Treat it as | ||
| the source of truth for repo orientation. | ||
|
|
||
| Codex translation notes: | ||
|
|
||
| - Read `AGENTS.md` first, then `AGENTS.local.md` when present. | ||
| - Use `docs/agentic/codex.md` for Codex-specific MCP, skill, and worktree notes. | ||
| - Keep `.opencode/skills` as the detailed source of truth and keep this wrapper thin. | ||
| - Do not work directly in the protected `main` mirror except for explicitly | ||
| requested mirror maintenance. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,6 @@ | ||
| AGENTS.local.md | ||
| .opencode/state/ | ||
| .codex/state/ | ||
| node_modules/ | ||
| .husky/_/ | ||
| .convex-home/ | ||
|
|
||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,90 @@ | ||
| # Codex Notes | ||
|
|
||
| VRDex has historically used OpenCode for long-running local agent work. Codex | ||
| should reuse the same durable playbooks while mapping OpenCode-specific tools to | ||
| Codex capabilities. | ||
|
|
||
| ## Startup Context | ||
|
|
||
| - Read `AGENTS.md` first, and `AGENTS.local.md` when present. | ||
| - Use `docs/agentic/README.md` for the core software-factory docs. | ||
| - Use `.codex/skills/*/SKILL.md` as thin Codex entry points when repo-local | ||
| skills are available. | ||
| - Do not work directly in the protected `main` mirror except for explicitly | ||
| requested mirror maintenance. | ||
|
|
||
| ## Worktree Policy | ||
|
|
||
| Current local convention: | ||
|
|
||
| - Protected main mirror: `D:/bench/VRDex` | ||
| - Active worktree root: `D:/bench/VRDex-wt` | ||
| - Feature worktrees: `D:/bench/VRDex-wt/<name>` | ||
|
|
||
| The protected mirror should stay on `main` and clean. Routine implementation, | ||
| review recycle work, and Codex parity changes should happen in named worktrees | ||
| under `D:/bench/VRDex-wt`. | ||
|
|
||
| The root package scripts run `scripts/guard-main-worktree.mjs` before local | ||
| development, build, lint, test, and verification commands. The guard blocks | ||
| those commands on `main` unless one of these is true: | ||
|
|
||
| - CI is running. | ||
| - `GITHUB_ACTIONS=true` is set. | ||
| - `VRDEX_ALLOW_PROTECTED_WORKTREE=1` is set for intentional mirror maintenance. | ||
|
|
||
| ## Skills | ||
|
|
||
| The OpenCode source skills live under `.opencode/skills/<name>/SKILL.md`. | ||
|
|
||
| Codex wrappers live under `.codex/skills/<name>/SKILL.md`. Each wrapper keeps | ||
| Codex-valid frontmatter and points back to the OpenCode source skill. If a | ||
| Codex session does not auto-discover repo-local skills, open the wrapper or | ||
| source skill by path. | ||
|
|
||
| Current wrappers: | ||
|
|
||
| - `vrcdn` | ||
| - `vrdex-onboarding` | ||
|
|
||
| Keep `.opencode/skills` as the detailed source of truth. Keep `.codex/skills` | ||
| as thin compatibility shims, not duplicated long playbooks. | ||
|
|
||
| ## Tool Mapping | ||
|
|
||
| - OpenCode plugins under `.opencode/plugins` are not Codex tools unless the | ||
| active Codex tool list explicitly exposes equivalent functions. | ||
| - The OpenCode `/supervisor` command and `.opencode/plugins/supervisor-loop.*` | ||
| remain OpenCode experiments. In Codex, use thread coordination tools only when | ||
| they are explicitly available in the active tool list. | ||
| - For GitHub and PR review loops, prefer a GitHub connector when available; | ||
| otherwise use `gh` and manual polling. | ||
| - For frontend verification, use the Codex Browser plugin for local targets when | ||
| available, plus screenshot evidence for meaningful UI changes. | ||
| - For library, SDK, CLI, and cloud-service docs, use Codex documentation tools | ||
| such as Context7 when available, or primary-source web docs when required. | ||
| - For reminders, monitors, or later follow-ups, use Codex automations only when | ||
| the user asks for that behavior. | ||
|
|
||
| ## MCP Config | ||
|
|
||
| Codex project MCP config lives at `.codex/config.toml` and mirrors the OpenCode | ||
| `.opencode/opencode.json` servers: | ||
|
|
||
| - `playwright` | ||
| - `vercel_vrdex` | ||
| - `convex` | ||
| - `aws_docs` | ||
| - `aws_iac` | ||
| - `aws_terraform` | ||
| - `aws_mcp` | ||
| - `daytona` | ||
|
|
||
| These are project-scoped VRDex servers. Keep them in repo-local config rather | ||
| than relying on global Codex config inheritance. Global Codex MCP entries should | ||
| be reserved for genuinely cross-repo tools. | ||
|
|
||
| If an MCP server is not active in the current Codex session, use the documented | ||
| CLI fallback (`vercel`, `aws`, `npx convex`, `gh`) or report the missing | ||
| capability. Production data, infrastructure, billing, or secret mutations still | ||
| require the normal approval and escalation workflow. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The new Codex docs describe
.codex/config.tomlas project-scoped repo config, but this command points at one Windows user's home directory; any contributor or agent on Linux, macOS, or another Windows account will fail to spawn the AWS docs/IaC MCP servers, with the same pattern repeated for Daytona below. Use PATH-resolved commands likeuvx/daytonaor keep personal absolute paths in local config instead.Useful? React with 👍 / 👎.