developer-portal: Instructions file for Codex

AGENTS.md

developer-portal AGENTS.md is an instructions file for Codex, OpenCode from cardano-foundation/developer-portal. It costs 2,299 tokens per session, scanned A, original, MIT.

Repository instructions for the Cardano Developer Portal, a Docusaurus website containing Cardano developer documentation, learning material, and builder tools. They explain its structure, contribution rules, required Node version, package manager, and deployment branches.

In plain words
What is it for?
Use them when editing, checking, or contributing to the portal and its example applications.
Why use it?
They provide the project context and working rules needed to make small, reviewable documentation changes without treating the portal as a marketing site.

Instructions file for CodexOpenCode

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

This is cardano-foundation/developer-portal's own configuration. It tells Codex and OpenCode how to work on developer-portal 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 developer-portal configures →

Reuse

Borrowing it

Nothing to install: this file belongs to cardano-foundation/developer-portal. 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/cardano-foundation/developer-portal/staging/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/cardano-foundation/developer-portal

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 developer-portal AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/cardano-foundation/developer-portal/agents-md/github.svg)](https://agentmods.dev/instructions/cardano-foundation/developer-portal/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/cardano-foundation/developer-portal/agents-md"><img src="https://agentmods.dev/badge/instructions/cardano-foundation/developer-portal/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 developer-portal AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/cardano-foundation/developer-portal/agents-md"><img src="https://agentmods.dev/badge/instructions/cardano-foundation/developer-portal/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 2,299 This file is loaded in full into every session.
When invoked 2,299 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.02299 $0.02299
Opus 5.5 $0.00920 $0.00920
Sonnet 5.5 $0.00460 $0.00460
Haiku 4.5 $0.00230 $0.00230

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

Security

Grade A, and why

developer-portal 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 15d 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 · 117 lines

How it starts

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

AGENTS.md — AI agent guide for the Cardano Developer Portal

Use yarn, not npm, for all dependency and script management. Requires Node 24 or newer (see .nvmrc). The self-contained apps under examples/ are the exception: each manages its own dependencies with its own package manager.

This file gives AI coding agents (and their operators) the context to contribute correctly to the Cardano Developer Portal (developers.cardano.org), a Docusaurus site. Read it before making changes. Human contributors should start with README.md and CONTRIBUTING.md.


Scope and intent

  • Prefer small, reviewable, single-purpose PRs. Keep diffs minimal; do not bundle cosmetic churn with a fix.
  • For non-trivial changes, open an issue or discussion first.
  • This repo is documentation, a developer curriculum, and a curated list of builder tools. It is not a place for marketing copy.
  • All PRs target the staging branch. Maintainers merge staging into main for production periodically.

Project philosophy

  • Community-owned: the portal is maintained by the Cardano community, not a single entity.
  • Incremental: prefer small, continuous changes over large rewrites.
  • Discussion first: align on non-trivial changes before implementing them.

Essential resources

  • README.md — overview and local setup.
  • CONTRIBUTING.md — contribution workflow (fixing content, adding builder tools, writing docs).
  • Style guide (docs/contribute/portal-style-guide.md) — the editorial voice. Mandatory for content and UI copy.
  • src/data/builder-tools/tags.js — the builder-tools taxonomy (categories, languages, interfaces). The source of truth for valid tool metadata.

Repository map

  • docs/ — content: developers/ (the curriculum), operators/, community/, contribute/. Doc images are co-located in img/ folders next to the pages that use them.
  • blog/ — the developer blog (tags.yml defines the allowed tags).
  • src/
    • pages/ — standalone React pages (for example talent/, tools/).
    • data/ — site data: builder-tools/ (tools.js entries + tags.js taxonomy + validation), templates/, contracts/, navbar.js, footer.js, redirects.js.
    • components/, theme/, css/, utils/, svg/ — UI.
  • static/ — site-owned assets, grouped by consumer under static/img/ (home/, blog/, tools/, tool-icons/, brand/, og/, …).
  • examples/ — runnable, self-contained example projects (templates/ holds the dApp starters). Not served by Docusaurus; see examples/README.md.
  • plugins/ — custom Docusaurus plugins (tools-routes, templates-routes).
  • scripts/ — build helpers wired into yarn start/yarn build: generate-stats.js (writes static/stats.json), generate-og.js (renders the social-preview cards for every doc, blog post, and site page into the gitignored static/img/og/docs|blog|pages/; the background frames in static/img/og/_template/ are tracked), fix-llms-paths.js (path fixes for the generated llms.txt).
  • Config: docusaurus.config.js (site), sidebars.js (navigation — hand-authored, see below), netlify.toml (redirects + security headers), searchconfig.json (Algolia crawler), .nvmrc (Node version — the source of truth).

Read the full file on GitHub · 117 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. 15d ago Changed · +2 tokens per session 323c906be154
  2. 2mo ago Changed · +1 lines · +169 tokens per session 0e9c0e70977e
  3. 2mo ago First seen · 116 lines · 2,128 tokens per session scan A ac670565688f

Subscribe to this mod's changes

developer-portal AGENTS.md is an instructions file published in the GitHub repository cardano-foundation/developer-portal (444 stars, last pushed 2d ago), licensed MIT. It adds 2,299 tokens to every session, about $0.0092 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

developer-portal AGENTS.md compared with instructions from other repositories

developer-portal AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
developer-portal AGENTS.mdcardano-foundation/developer-portalInstructions file4442d agoMITA2,299Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143kyesterdayMITA7,461Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchainInstructions file149kyesterdayMITA4,680Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA5,516GitHub Copilot
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA3,093GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harnessInstructions file274k2d agoMITA4,313Codex, OpenCode