Skip to main content

Playground 01 / Agent Kit

Take the task
to your agent.

This playground does not pretend to run a coding agent in the browser. Choose a real task, copy the harness-aware prompt, and run it in Codex, Claude Code, Cursor, or another coding agent.

Ready-to-run task

School management · Rust

This task runs in your coding agent, not on teaql.io. Review the generated plan and repository changes before accepting them.
Use the TeaQL Agent Kit harness to complete this task.

Goal
Build a school management service with Platform, SchoolType constants, and School.

Target runtime
Rust

Required workflow
1. Read and follow https://github.com/teaql/teaql-agent-kit.
2. Model the domain in KSML before writing business code.
3. Evaluate the model and resolve every error and warning before generation.
4. Generate the Rust library and an executable application workspace.
5. Use only generated Q, E, and Mutation APIs; do not guess method names.
6. Run Ensure Schema explicitly through UserContext.
7. Verify Checker, audited create, typed query, E traversal, fully-loaded update, delete, root seed, and constant seed behavior with SQLite.
8. Retain commands, versions, pass/fail counts, skips, and raw execution evidence. Never report an unexecuted step as passed.

Deliverables
- KSML model and evaluation report
- Generated library and executable workspace
- Automated verification
- A concise evidence-backed completion report

TeaQL-Assist-Lifecycle: consume-once
TeaQL-Assist-Retention: receipt-only