Intro-to-AI-for-Dev-Workshop: Instructions file for Codex

AGENTS.md

Intro-to-AI-for-Dev-Workshop AGENTS.md is an instructions file for Codex, OpenCode from improving/Intro-to-AI-for-Dev-Workshop. Its token cost is not measured, scanned not scanned, original, MIT.

Project-specific AGENTS.md instructions for an introductory workshop about artificial intelligence for software developers. AGENTS.md is a file that tells a coding agent how to work in a project.

In plain words
What is it for?
It is for agent-assisted work on the Intro-to-AI-for-Dev-Workshop project; the description does not specify the individual rules.
Why use it?
It gives an agent guidance for editing or improving the workshop materials.

Instructions file for CodexOpenCode

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

This is improving/Intro-to-AI-for-Dev-Workshop's own configuration. It tells Codex and OpenCode how to work on Intro-to-AI-for-Dev-Workshop 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 Intro-to-AI-for-Dev-Workshop configures →

Reuse

Borrowing it

Nothing to install: this file belongs to improving/Intro-to-AI-for-Dev-Workshop. 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/improving/Intro-to-AI-for-Dev-Workshop/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/improving/Intro-to-AI-for-Dev-Workshop

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 Intro-to-AI-for-Dev-Workshop AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/improving/intro-to-ai-for-dev-workshop/agents-md/github.svg)](https://agentmods.dev/instructions/improving/intro-to-ai-for-dev-workshop/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/improving/intro-to-ai-for-dev-workshop/agents-md"><img src="https://agentmods.dev/badge/instructions/improving/intro-to-ai-for-dev-workshop/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 Intro-to-AI-for-Dev-Workshop AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/improving/intro-to-ai-for-dev-workshop/agents-md"><img src="https://agentmods.dev/badge/instructions/improving/intro-to-ai-for-dev-workshop/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session not measured What this adds to a session before it is invoked.
When invoked not measured The whole file, excluding the scripts and references it only reads on demand.
Security scan n/a The body is not available under this licence, so nothing was scanned.
Origin original No closer match found in the catalogue.
AGENTS.md · 1 lines

The source is not reproduced here

Licensed MIT

The repository is licensed MIT, which this catalogue does not treat as permission to reproduce the file. Read it at the source.

Read it on GitHub

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. 2mo ago First seen · 1 lines e3b0c44298fc

Subscribe to this mod's changes

Intro-to-AI-for-Dev-Workshop AGENTS.md is an instructions file published in the GitHub repository improving/Intro-to-AI-for-Dev-Workshop (10 stars, last pushed 3mo ago), licensed MIT. Its token cost is not measured: this kind of file is read by the harness, not the model. It was not scanned, because the body is not available under its licence. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

Related

Intro-to-AI-for-Dev-Workshop AGENTS.md compared with instructions from other repositories

Intro-to-AI-for-Dev-Workshop AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
Intro-to-AI-for-Dev-Workshop AGENTS.mdimproving/Intro-to-AI-for-Dev-WorkshopInstructions file103mo agoMIT——Codex, 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