Executable Environments rebuilt from agent traces by Kullback and graded by code. Each card carries its own replay fidelity and trusted Task count.
AI & ML interests
RL Envs and Post training models
Recent Activity
Organization Card
leibler
Leibler rebuilds the system a working agent ran in from its traces, then grades other models in code on what they change there. Kullback is the open-source Builder and Runner behind it, under Apache-2.0.
Environments
| Environment | Fidelity over Tasks | Call fidelity | Verifiers | Trusted | Status |
|---|---|---|---|---|---|
| leibler/retail | 100.0% (223 of 223) | 100.00% of 3220 | 222 | 193 of 223 | release |
| leibler/airline | 100.0% (130 of 130) | 99.93% of 1513 | 128 | 82 of 130 | release |
Both are the 2026-09-24 build (tag build-20260924), built and examined with Claude Opus 5.5 on Amazon Bedrock. Both come from the public tau2-bench corpora (MIT); no package carries the recordings, and the export's leak scan found none.
Words
- Run and Trace: a Run is an agent's conversation with the tools; a Trace is a recorded one.
- Reference: the Trace a Task's user context comes from.
- Replay and agree: a replay re-drives a Trace's turns; a call agrees when its verdict is same, cosmetic or both refused.
- Confirmed: a replay where every call agrees and nothing is missing, reordered or crashed.
- Fidelity over Tasks: Tasks with a confirmed replay, over all Tasks.
- Fidelity over Runs: confirmed replays over all replays.
- Call fidelity: agreeing calls over all recorded calls.
- Verifier: a Task's End-state check, written only by the Examiner, never by the Builder.
- Atom: one Verifier check: required, allowed, forbidden, question, communicate or hard.
- Gates: oracle replay, suite, loosening, false rejection, trusted.
- Trusted: suite passed, probes fail, last version, no loosening, not over strict, not refused.
- Open: not yet trusted.
- Refused: a Task the Builder showed nobody can finish.
- Release and preview: a release replays at least 90% of its Tasks; a preview is below that.
Fetch and run
uv pip install git+https://github.com/leiblerdev/kullback.git
uv run kullback fetch leibler/<environment> --out env
uv run kullback run --workdir env --task <task id> --model provider/model
uv run kullback verdict --workdir env
uv run kullback report --workdir env
Links
- Harness: https://github.com/leiblerdev/kullback
- Site: https://leibler.dev
- Licence: Apache-2.0 for the harness and every package; each corpus keeps its own.
models 0
None public yet