A model-driven harness for AI coding agents: semantic modeling, app generation, progressive API Assist and evidence-based verification.
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.
This repository also configures its own agents. See what teaql-agent-kit tells them →
Skill Codex
Build or change a TeaQL application in Java, Rust, Go, Swift, Python, C#/.NET, or TypeScript, including Kotlin/JVM applications that consume Java-generated libraries. Mandatory order: first draft and save a complete KSML model, then verify the client and evaluate that saved model, repair it through repeated evaluation…