build-teaql-app

build-teaql-app is a skill for Codex from teaql/teaql-agent-kit. It costs 112 tokens per session (4,115 once invoked), scanned A, original, MIT.

A workflow for turning a business requirement into a TeaQL application and a KSML model, which is a saved description of the application’s data and rules. It supports Java, Rust, Go, Swift, Python, C#/.NET, TypeScript, and Kotlin applications that use Java-generated libraries.

In plain words
What is it for?
Use it to build or modify a TeaQL application from a business requirement. It can draft and save the model, verify and evaluate it, generate code, compile, test, run, and report the result.
Why use it?
It provides an ordered process for checking the model before generating and testing the application. Repeated evaluation helps find and repair model errors before implementation continues.

Skill for Codex

Written for Codex: agents/openai.yaml present. Also seen: mentions AGENTS.md.

About the project

TeaQL Agent Kit is a development harness that places an executable domain model between a coding agent's requirements and its implementation. It evaluates and repairs that model, generates typed API boundaries, and guides the agent toward implementing and verifying software within those constraints. The catalogue entries provide the kit's agent, skill, and instruction workflows.

teaql/teaql-agent-kit · 2,805 stars · on GitHub · teaql.io

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 skills/teaql/teaql-agent-kit/build-teaql-app
Any agent
npx skills add teaql/teaql-agent-kit --skill build-teaql-app
Clone the repo
git clone --depth 1 https://github.com/teaql/teaql-agent-kit

Made for: Codex.

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 build-teaql-app

README.md
[![agentmods](https://agentmods.dev/badge/skills/teaql/teaql-agent-kit/build-teaql-app.svg)](https://agentmods.dev/skills/teaql/teaql-agent-kit/build-teaql-app)
Your own site
<a href="https://agentmods.dev/skills/teaql/teaql-agent-kit/build-teaql-app"><img src="https://agentmods.dev/badge/skills/teaql/teaql-agent-kit/build-teaql-app.svg" alt="Measured on agentmods" height="20"></a>
Per session 112 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 4,115 The whole file, excluding the scripts and references it only reads on demand.
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.1 $0.00112 $0.04115
Opus 5 $0.00056 $0.02057
Sonnet 5 $0.00022 $0.00823
Haiku 4.5 $0.00011 $0.00411

Measured 2d ago against content hash b35116d0115c, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-06, from the pricing page.

Security

Grade A, and why

build-teaql-app 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 2d 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.

skills/build-teaql-app/SKILL.md · 337 lines

How it starts

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

Build TeaQL App

Turn a business requirement into a KSML contract and a verified TeaQL application. Never run model evaluation before the first complete KSML model has been written and saved.

Mandatory Workflow Order

Do not reorder these stages:

  1. Understand the requirement and choose the model target.
  2. Draft and save the first complete KSML model.
  3. Only after the model exists, verify the TeaQL client.
  4. Evaluate the saved model.
  5. Repair from the report and re-evaluate repeatedly.
  6. At zero Errors, signal Model Ready and continue without waiting.
  7. Generate, implement, compile, test, run, and report.

Prepare the Model Target

  1. Read the target repository's nearest AGENTS.md.
  2. Capture the original business requirement, model target path, requested language and outputs, and runnable or testable outcome. Supported language families are Java, Rust, Go, Swift, Python, C#/.NET, and TypeScript. A Kotlin/JVM application uses the Java-generated library and Java runtime; do not look for a separate Kotlin generator. Swift uses the swift-lib-core target for a generated Swift package with local SQLite and TFP client support. C++, Dart, Ruby, and other unlisted smaller language ecosystems are not supported.
  3. Keep a compact evidence ledger while working. Record commands, evaluation counts, generated guides, assist calls, policy checks, tests, and artifact paths as they occur.

Do not load a full KSML rule catalog before modeling. Use references/golden-example.xml as the grammar example and adapt its structure—not its pet-clinic concepts—to the domain. The golden example exists only to demonstrate KSML syntax. Never carry over its domain names (clinic, pet, appointment, species, microchipped) or its organizational structure into a different business domain.

Model First

Create and save a complete KSML model before running any TeaQL command. Do not evaluate an absent, empty, or placeholder model target.

Read the full file on GitHub · 337 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. 2d ago Changed · +10 lines b35116d0115c
  2. 4d ago Changed · +22 lines 9b09acf06c6c
  3. 7d ago First seen · 305 lines · 112 tokens per session scan A 2d608444c26f

Subscribe to this mod's changes

build-teaql-app is a skill published in the GitHub repository teaql/teaql-agent-kit (2,805 stars, last pushed 3d ago), licensed MIT. It adds 112 tokens to every session and 4,115 once invoked, about $0.0006 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.

Related

Other skills, from other repositories

add-rpc

Guide for adding new RPC calls to Wave Terminal. Use when implementing new RPC commands, adding server-client communication methods, or extending the RPC interface with new functionality.

mits-pl/wove · 36 tokens

wps-events

Guide for working with Wave Terminal's WPS (Wave PubSub) event system. Use when implementing new event types, publishing events, subscribing to events, or adding asynchronous communication between components.

mits-pl/wove · 41 tokens

electron-api

Guide for adding new Electron APIs to Wave Terminal. Use when implementing new frontend-to-electron communications via preload/IPC.

mits-pl/wove · 27 tokens

moai-platform-deployment

Deployment and hosting platform specialist covering Vercel, Railway, and Convex. Use when deploying applications, configuring edge functions, setting up continuous deployment, or managing serverless infrastructure.

modu-ai/moai-adk · 42 tokens

moai-ref-api-patterns

REST/GraphQL API design patterns, error handling conventions, and input validation reference for backend development. Agent-extending skill that amplifies backend domain work (spawned via Agent(general-purpose) with backend instructions) with production-grade API patterns. Use when designing APIs, implementing…

modu-ai/moai-adk · 85 tokens

moai-platform-auth

Authentication and authorization specialist covering Auth0, Clerk, and Firebase Auth. Use when implementing authentication, MFA, SSO, passkeys, WebAuthn, social login, or security features.

modu-ai/moai-adk · 43 tokens