agentmods.dev

teach-me: Instructions file for Kiro

.kiro/steering/code-validation-teaching.md

teach-me code-validation-teaching.md is an instructions file for Kiro from smileynet/teach-me. It costs 2,028 tokens per session, scanned A, original, MIT.

Teaching instructions for checking code examples before publishing lessons. They require assembled final files, a validation step, and automatic integration with the project's verification command.

In plain words
What is it for?
Use them when writing programming lessons to find suitable checks such as a compiler, interpreter, linter, or type checker and run those checks automatically.
Why use it?
They help prevent learners from encountering broken examples and mistaking a code failure for a misunderstanding.

Instructions file for Kiro

Written for Kiro: installed under .kiro/.

This is smileynet/teach-me's own configuration. It tells Kiro how to work on teach-me 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 teach-me configures →

not rated 3repo 12d ago A scan 2,028 tokens original MIT
View source ↗ smileynet/teach-me
Reuse

Borrowing it

Nothing to install: this file belongs to smileynet/teach-me. 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/smileynet/teach-me/main/.kiro/steering/code-validation-teaching.md
Clone the repo
git clone --depth 1 https://github.com/smileynet/teach-me

Made for: Kiro.

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 teach-me code-validation-teaching.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/smileynet/teach-me/code-validation-teaching/github.svg)](https://agentmods.dev/instructions/smileynet/teach-me/code-validation-teaching)
Your own site
<a href="https://agentmods.dev/instructions/smileynet/teach-me/code-validation-teaching"><img src="https://agentmods.dev/badge/instructions/smileynet/teach-me/code-validation-teaching/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 teach-me code-validation-teaching.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/smileynet/teach-me/code-validation-teaching"><img src="https://agentmods.dev/badge/instructions/smileynet/teach-me/code-validation-teaching.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 2,028 This file is loaded in full into every session.
When invoked 2,028 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.02028 $0.02028
Opus 5.5 $0.00811 $0.00811
Sonnet 5.5 $0.00406 $0.00406
Haiku 4.5 $0.00203 $0.00203

Measured 2mo ago against content hash 6ac49afbf6f6, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

teach-me code-validation-teaching.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 2mo 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.

.kiro/steering/code-validation-teaching.md · 129 lines

How it starts

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

Code Validation for Teaching Content

When writing lessons that include executable code, validate every code block before publishing. A learner encountering broken code loses trust in the material and conflates "I don't understand this" with "this doesn't work" — the worst possible confusion for learning.

The Validation Contract

Every lesson with code blocks MUST have:

  1. Final-state files at reference/code/{lesson-slug}/ — the assembled output after all diffs applied
  2. A validation step that confirms those files are syntactically and semantically correct
  3. Integration with mise run verify — validation runs automatically, not manually

Finding Validation Tools (any language)

Before writing code-based lessons for a new domain, research validation tooling:

Discovery checklist

Question Where to look
Does the language have a CLI compiler/interpreter? Official docs — rustc --check, python -c, tsc --noEmit
Is there a standalone linter? Package registries — eslint, clippy, flake8, golangci-lint
Does the editor tooling expose a CLI? LSP servers sometimes have --check modes
Can the runtime validate without executing? python -m py_compile, ruby -c, perl -c
Is there a type checker? mypy, pyright, flow, tsc

Priority order (most to least reliable)

  1. Official compiler/interpreter — rustc, go build, javac, gcc. Always right.
  2. Language-specific linter — eslint, clippy, shellcheck. Catches more than syntax.
  3. LSP in check mode — When no CLI exists, wrap the LSP's diagnostic endpoint.
  4. Type checker — For dynamic languages where the runtime won't catch mismatches.
  5. Runtime in headless/batch mode — When no standalone tool exists, use the actual runtime (Godot headless, Unity batch mode). This is the floor, not a fallback.

When no validator exists (the gdshader problem)

Some domain-specific languages lack CLI tooling entirely. Strategy:

Read the full file on GitHub · 129 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. 2mo ago First seen · 129 lines · 2,028 tokens per session scan A 6ac49afbf6f6

Subscribe to this mod's changes

teach-me code-validation-teaching.md is an instructions file published in the GitHub repository smileynet/teach-me (3 stars, last pushed 12d ago), licensed MIT. It adds 2,028 tokens to every session, about $0.0081 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-09-06.

Learning and teachingTestingagent-skillsailearningspaced-repetition
Related

teach-me code-validation-teaching.md compared with instructions from other repositories

teach-me code-validation-teaching.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
teach-me code-validation-teaching.mdsmileynet/teach-meInstructions file312d agoMITA2,028Kiro
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