games

Auto-generated skill file for games v0.1.2
Re-generate with: games skill

Verify and export Lex arena game trails. A submission is a trail, not a score:
verify replays the recorded moves through the game's deterministic rules and
recomputes the authoritative score, so a leaderboard built on its output can't be
faked. Replay is rules-only (no model inference) — cheap and reproducible.

Available commands

• games verify <game> <trail.jsonl> — replay a trail and recompute the score. (idempotent)
• games export <trail.db> <out.jsonl> — export a trail store to portable JSONL.
• games leaderboard <manifest.json> — rank a field of robot-policy run trails by verified score. (idempotent)
• games season <standings.json> <round.json> — update head-to-head ELO ratings over a round; prints the new standings. (idempotent)

games verify

Replay a recorded game trail through the deterministic rules and recompute the
authoritative score. Prints a JSON verdict to stdout.

Arguments

• game (string, required) — game name, e.g. bazaar or template.
• trail (string, required) — path to the trail JSONL file to verify.

Example

games verify bazaar ./testdata/bazaar-sample.jsonl

Output (a verdict; fields vary per game):

{"verified":true,"intact":true,"legal":true,"p1":5,"p2":3,"moves":3}

verified is the only cross-game guarantee: the trail's hash chain is intact
and every recorded move was legal under the rules. Exit code 0 when
verified, 1 when rejected.

games export

Export a hash-chained trail from a play-server SQLite store to portable,
self-verifying JSONL (one event per line; each line's id is its content hash).

Arguments

• db (string, required) — path to the trail SQLite database.
• out (string, required) — output JSONL file path.

Example

games export /tmp/lex-shop-123.db ./trail.jsonl

games leaderboard

Rank a whole field of robot-policy run trails by their verified score (each
trail is replayed through the rules; a tampered or over-grant trail is
disqualified to the bottom, never trusted). Prints one ranked JSON object.

Arguments

• manifest (string, required) — path to a JSON array of { "label":.., "trail":.. } entries.

Example

games leaderboard ./testdata/policy/leaderboard.json

games season

Like leaderboard, but ratings persist across rounds: each round plays a
deterministic round-robin (the higher verified score wins each pairing) and
updates every policy's ELO. Reads the prior standings + this round's manifest and
prints the new standings — redirect stdout to persist, so a season is a chain.
A missing standings file starts everyone fresh at 1500.

Arguments

• standings (string, required) — path to the prior standings JSON (missing/empty = fresh season).
• manifest (string, required) — path to this round's manifest (same shape as leaderboard).

Example

games season standings.json round1.json > next.json   # round 1 (fresh)
games season next.json     round2.json > standings.json

Output format

verify and export emit JSON to stdout. verify's object is the game's
verdict; all games include at least verified (bool).

Exit codes

Code	Meaning	Action
0	Success / verified	Proceed
1	Trail rejected (tampered or illegal move)	Do not trust the submission
2	Invalid arguments	Correct and retry

Further discovery

• games help — usage for any command
• games introspect — machine-readable command tree (JSON)

As MCP tools

Run this CLI as MCP tools via `acli-mcp`:

ACLI_BIN=games python -m acli_mcp   # exposes verify / export / leaderboard / season as MCP tools