dev3000: Instructions file for Codex

AGENTS.md

dev3000 AGENTS.md is an instructions file for Codex, OpenCode from vercel-labs/dev3000. It costs 1,388 tokens per session, scanned A, original, MIT.

Project instructions for vercel-labs/dev3000, a development tool with a local runtime, browser controls, and server and browser logs. They define the required local URLs, startup process, debugging commands, and development rules.

In plain words
What is it for?
Use them to develop, test, debug, or inspect the project's local and production workflows with d3k and its monitored browser.
Why use it?
They give coding agents one reliable way to run and inspect the project. This avoids using the wrong runtime, starting services before they are reachable, or missing browser and server errors.

Instructions file for CodexOpenCode ✓ vendor

Written for Codex and OpenCode: the file is AGENTS.md. Also seen: mentions CLAUDE.md; mentions AGENTS.md; mentions Codex.

This is vercel-labs/dev3000's own configuration. It tells Codex and OpenCode how to work on dev3000 itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything dev3000 configures →

About the project

vercel-labs/dev3000 is a local web debugging runtime that records a web app's server logs, browser events, errors, network activity, interactions, and screenshots in one timestamped timeline. Coding agents use it to run and inspect web applications while reproducing bugs. Its catalogue add-ons teach agents how to operate the runtime and examine its debugging evidence.

vercel-labs/dev3000 · 1,597 stars · on GitHub · dev3000.ai

Reuse

Borrowing it

Nothing to install: this file belongs to vercel-labs/dev3000. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/vercel-labs/dev3000/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/vercel-labs/dev3000

Made for: Codex, OpenCode.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for dev3000 AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/vercel-labs/dev3000/agents-md/github.svg)](https://agentmods.dev/instructions/vercel-labs/dev3000/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/vercel-labs/dev3000/agents-md"><img src="https://agentmods.dev/badge/instructions/vercel-labs/dev3000/agents-md/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for dev3000 AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/vercel-labs/dev3000/agents-md"><img src="https://agentmods.dev/badge/instructions/vercel-labs/dev3000/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 1,388 This file is loaded in full into every session.
When invoked 1,388 The same file — it is already loaded in full.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.01388 $0.01388
Opus 5.5 $0.00555 $0.00555
Sonnet 5.5 $0.00278 $0.00278
Haiku 4.5 $0.00139 $0.00139

Measured 7d ago against content hash 63d107aab00b, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

dev3000 AGENTS.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 7d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

AGENTS.md · 89 lines

How it starts

The opening of the file, as written. The whole thing — 89 lines — stays where its author put it; the contents beside it link to each section on GitHub.

AGENTS.md

This file is the source of truth for agent guidance in this repo. CLAUDE.md is symlinked here.

Runtime

  • Use the unified d3k runtime in src/runtime/. d3k, dev3000, and d3k-runtime expose the same commands.
  • From the target app, use node <checkout>/skills/d3k/scripts/runtime.mjs to test unreleased source. Do not use a previously published package for source validation.
  • Before local startup, run d3k portless status --json. Canonical port-free HTTPS must be ready. If needed run d3k portless setup, wait for one-time administrator authorization, then verify again. Do not start the local app or browser before it is ready.
  • Run d3k start in a retained background tool session. Keep it alive across edits and user testing; do not ask the user to launch it.
  • Use start --command '<dev command>' for custom servers. Startup and browser-navigation timeout values are milliseconds.
  • Inspect d3k status, retain its session ID and cursor, then read d3k events --session <id> --after <cursor>. Continue while hasMore is true. logs and errors --context are views over the same bounded timeline.
  • Drive the exact monitored browser with d3k browser snapshot -i and d3k browser click @e2. The runtime owns CDP; do not launch a second browser or override connection/profile options through the browser command.
  • Stop with d3k stop when asked. Persist only session discovery and browser profiles. Export screenshots through d3k browser screenshot <absolute-path> only on request.
  • Sandbox mode currently requires macOS; d3k downloads Chrome for Testing automatically on first use and reuses it afterward. Chrome runs under filesystem confinement; do not bypass it. Gateway keys are not automatically provisioned or forwarded. Sandbox mode runs the project remotely with local Chrome: d3k --project <team/project> or d3k sandbox --project <team/project>. No local project checkout is required. Sandbox apps use https://<project>.d3k.localhost; use --hostname songbook for https://songbook.d3k.localhost. Canonical Portless runs on the laptop. Use --no-shell to retain the companion in a background session. Private repos require an already provisioned sandbox and --attach <name>. Use d3k --resume to list saved sandbox sessions and d3k --resume <id> to recreate the browser connection; Ctrl-C prints the resume command.
  • Optional --harness fx|codex|claude starts the selected harness after readiness in an interactive terminal, using temporary d3k skill context. The CLI does not install local harness packages, persist logs, capture automatic screenshots/screencasts, or automatically upgrade itself.
  • Do not run bun run dev or bun run build for www/.
  • www/ is a public landing page and changelog. Hosted dev agents, skill runners, workflows, authentication, and blob storage have been removed; do not recreate those surfaces. Sandbox support belongs in the CLI.

Read the full file on GitHub · 89 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 7d ago Changed · -24 lines · +116 tokens per session 63d107aab00b
  2. 14d ago Changed · -6 lines · -48 tokens per session e7a34aa8bfbc
  3. 2mo ago First seen · 119 lines · 1,320 tokens per session scan A 70f791423514

Subscribe to this mod's changes

dev3000 AGENTS.md is an instructions file published in the GitHub repository vercel-labs/dev3000 (1,597 stars, last pushed 7d ago), licensed MIT. It adds 1,388 tokens to every session, about $0.0056 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

dev3000 AGENTS.md compared with instructions from other repositories

dev3000 AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
dev3000 AGENTS.mdvercel-labs/dev3000Instructions file1.6k7d agoMITA1,388Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143ktodayMITA7,461Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchainInstructions file149ktodayMITA4,680Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA5,516GitHub Copilot
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA3,093GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harnessInstructions file274k2d agoMITA4,313Codex, OpenCode