Start a run
What the agent sees
Select a verification cell to read its explanation.
Grading
Questions asked
Runs
| Started | Case | Played by | Steps | Ended | % verifiable | % appropriate | Actions |
|---|
By case and agent
Finished runs only; a grade is comparable only with others of the same case by the same agent.
| Case | Played by | Runs | % verifiable | % appropriate | % inappropriate | Conflicts |
|---|
Cases
A case declares its state space, its action space, how the state changes and when a run ends. Every rule of the library whose keys the case declares applies to it.
Specifications
WHEN <condition> REQUIRE | PERMIT | PROHIBIT <consequent> — the condition reads the state at a step and its actions; the consequent reads the actions and the state they produced.
Connections
What plays a case for you: your own API key, or a Claude or ChatGPT subscription signed in through its command-line tool.
Users
Passkeys
A passkey signs you in without waiting for an email.