teaql-agent-kit AGENTS.md

Repository instructions for working with TeaQL, a tool that generates applications from data models. They define supported languages and required steps for checking models before generating code.

In plain words
What is it for?
Use them when modeling or generating TeaQL applications, especially to verify Rust and Java tool versions, supported runtimes, and the required model-first workflow.
Why use it?
They prevent unsupported language choices, incomplete models, and version mismatches that could make TeaQL operations fail or produce incorrect results.

Instructions file for CodexOpenCode

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add instructions/teaql/teaql-agent-kit/agents-md
Clone the repo
git clone --depth 1 https://github.com/teaql/teaql-agent-kit

Made for: Codex, OpenCode.

Per session 573 This file is loaded in full into every session.
When invoked 573 The same file — it is already loaded in full.
Security scan A 0 findings. Scan, not verified.
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 $0.00573 $0.00573
Opus 5 $0.00287 $0.00287
Sonnet 5 $0.00115 $0.00115
Haiku 4.5 $0.00057 $0.00057

Measured today against content hash 63d003169147, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

teaql-agent-kit 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 today.

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

How it starts

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

AGENTS.md — TeaQL Agent Kit

This repository publishes the build-teaql-app Agent Skill. For TeaQL modeling, generation, or application work, read and follow skills/build-teaql-app/SKILL.md.

Hard Requirements

  1. Work model-first: save complete KSML, evaluate it with the Generation Service, and fix all Errors before generation. Never run evaluation before the first complete model target exists.
  2. TeaQL application generation supports exactly these seven language families: Java, Rust, Go, Swift, Python, C#/.NET, and TypeScript. Kotlin/JVM applications are also supported through Java-generated libraries and the Java runtime; this is JVM interoperability, not an eighth generator/runtime. Do not infer support for an unlisted language. C++, Dart, Ruby, and other unlisted smaller language ecosystems are not supported. Do not substitute one language's generated API for another.
  3. Rust requires cargo-teaql exactly 2.0.13. Verify it before every TeaQL operation; stop on any mismatch.
  4. Java requires io.teaql:teaql-maven-plugin:1.1.1 or newer from the TeaQL Nexus releases repository. Use fully qualified Maven coordinates, never mvn teaql:*.
  5. Every Rust model-derived command, including assist, uses cargo teaql --input <model> <command> ....
  6. Rust generation uses only rust-lib-core and rust-app-console.
  7. Never edit generated domain-library files.
  8. Read the generated application/workspace AGENTS.md and current object-specific assist before business code. Never guess generated methods.
  9. Every query execution declares purpose and comment through the exact generated API for its language.
  10. Every write declares an audit reason through the exact generated API for its language. Never guess the spelling from Java or Rust examples.
  11. When evaluation reaches zero errors, send the model path and evaluation counts, then continue without waiting. Human Review runs in parallel.
  12. Report actual model, assist, policy, compile, test, runtime, and token/context evidence. Never invent savings or verification results.
  13. Every <_value> in a constant object must explicitly provide every data field declared by that constant object, even when a field is nullable. Do not repeat _... metadata, version, createTime()/updateTime() fields, or the domain-root relationship injected by runtime Fix/Context.

Read the full file on GitHub · 46 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. today Changed · +4 lines · +67 tokens per session 63d003169147
  2. 2d ago First seen · 42 lines · 506 tokens per session scan A 4f745bfe314a

Subscribe to this mod's changes

teaql-agent-kit AGENTS.md is an instructions file published in the GitHub repository teaql/teaql-agent-kit (2,803 stars, last pushed 2d ago), licensed MIT. It adds 573 tokens to every session, about $0.0029 per session on Opus 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.