educates-training-platform: Instructions file for Codex

AGENTS.md

educates-training-platform AGENTS.md is an instructions file for Codex, OpenCode from educates/educates-training-platform. It costs 5,912 tokens per session, scanned A, original, Apache-2.0.

Repository instructions for the Educates training platform, including its Helm-and-Go installation path, supported configuration types, migration limits, and safe working boundaries.

In plain words
What is it for?
Use them when developing, deploying, or maintaining the Educates platform and its local or cloud installation commands.
Why use it?
They prevent agents from following the removed installer path or making changes outside the repository's supported deployment model.

Instructions file for CodexOpenCode

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

This is educates/educates-training-platform's own configuration. It tells Codex and OpenCode how to work on educates-training-platform 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 educates-training-platform configures →

Reuse

Borrowing it

Nothing to install: this file belongs to educates/educates-training-platform. 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/educates/educates-training-platform/develop/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/educates/educates-training-platform

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 educates-training-platform AGENTS.md

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/educates/educates-training-platform/agents-md"><img src="https://agentmods.dev/badge/instructions/educates/educates-training-platform/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 5,912 This file is loaded in full into every session.
When invoked 5,912 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.05912 $0.05912
Opus 5.5 $0.02365 $0.02365
Sonnet 5.5 $0.01182 $0.01182
Haiku 4.5 $0.00591 $0.00591

Measured yesterday against content hash 03cb66d727e2, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

educates-training-platform 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 yesterday.

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 · 491 lines

How it starts

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

AGENTS.md

Briefing for AI agents working in this repository. Read it fully before doing anything substantial. Sections are ordered by importance — the top is what changes day-to-day, the bottom is mostly stable.


The install path

The install pipeline is a Helm chart + Go operator. There is one install path; the old v3 Carvel-based installer (kapp-controller) is gone.

  • CLI flow: educates admin platform deploy (helm install the operator chart + kubectl apply the 4 platform CRs), or educates local cluster create for the laptop flow (kind + registry + deploy in one).
  • No in-place v3 migration. Users on v3 delete their old install and follow the v4 path. The CLI silently migrates a v3 values.yaml → v4 config.yaml on first run when the v3 provider was kind (or empty); other providers get a clear re-declare error.
  • CLI config is a kind ladder (cli.educates.dev/v1alpha1): EducatesLocalConfig (laptop; lives at <data-home>/config.yaml), scenario kinds EducatesGKEConfig / EducatesEKSConfig / EducatesInlineConfig, and the EducatesConfig escape hatch (CR specs verbatim, no CLI defaults). JSON schemas are embedded at client-programs/pkg/config/v1alpha1/schemas/. Data home is $XDG_DATA_HOME/educates/, overridable via EDUCATES_CLI_DATA_HOME.

ytt is the only Carvel library in the CLI. It templates workshop definitions for the workshop commands (the --data-value* flags). The CLI builds and pushes workshop and extension package images itself, with go-containerregistry. Sessions still download content with the vendir and imgpkg binaries in the base image (workshop-images/).

The Educates runtime is Python/kopf/Django. Components in session-manager/, secrets-manager/, lookup-service/, training-portal/, tunnel-manager/, workshop-images/, and supporting services keep those implementations. The installer is the operator + chart; it installs the runtime but does not reimplement it.

Read the full file on GitHub · 491 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. yesterday Changed · +2 lines · +35 tokens per session 03cb66d727e2
  2. 7d ago Changed · +5 lines · +89 tokens per session 63d871ae8dff
  3. 8d ago Changed · +9 lines · +157 tokens per session 737b93014b9c
  4. 10d ago Changed · +14 lines · +194 tokens per session 8c166955be46
  5. 12d ago Changed · -1 tokens per session b029a8aeca1b
  6. 21d ago First seen · 461 lines · 5,438 tokens per session scan A 33a5d4057eed

Subscribe to this mod's changes

educates-training-platform AGENTS.md is an instructions file published in the GitHub repository educates/educates-training-platform (163 stars, last pushed 2d ago), licensed Apache-2.0. It adds 5,912 tokens to every session, about $0.0236 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-10-16.

Related

educates-training-platform AGENTS.md compared with instructions from other repositories

educates-training-platform AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
educates-training-platform AGENTS.mdeducates/educates-training-platformInstructions file1632d agoApache-2.0A5,912Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143ktodayMITA7,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