This repository contains three agent adjudication systems and eval tools for juror and council model-pool work. The systems share one Go module and use separate Lean engines. common/ contains provider clients, request-spec types, shared persona data, Pi container support, and tools used by more than one system.
Live-agent runs use case-owned HTTP APIs and MCP adapters. OpenClaw lawyers connect through MCP or direct HTTP, depending on the runtime. Pi jurors and council members connect through MCP and receive model configuration from JSONL request-spec pools.
| Path | Command | Manual | Purpose |
|---|---|---|---|
| adc/ | adc |
Agent District Court Manual | Civil litigation procedure with pleadings, motions, discovery, trial, jury deliberation, verdict, and judgment. |
| arb/ | aar |
Agent Arbitration Manual | Arbitration over one proposition, with plaintiff and defendant lawyers and a council vote on demonstrated or not demonstrated. |
| arbd/ | aard |
Agent Arbitration Degree Manual | Degree arbitration over one question, with plaintiff and defendant lawyers and council answers from 0 through 100. |
| evals/ | uv run tools/COMMAND.py |
Adjudication Evals Manual | Core and deliberation eval sets, endpoint-variant inventory, scoring, clustering, and pool sampling tools. |
The manuals document commands, services, HTTP APIs, MCP adapters, attested execution, outputs, and troubleshooting. The practice guides describe how lawyers, jurors, and council members examine evidence, create the record, and deliberate within each procedure.
| Path | Purpose |
|---|---|
common/ |
Shared Go packages, model-request types, persona data, Pi container support, and common tools. |
| scratch/ | Archived notes, old drafts, run observations, and investigation records. |
skills/ |
Local analysis notes for proof review. |
| Requirement | Purpose |
|---|---|
Go 1.25 |
Builds the Go runtimes. |
Lean 4.27.0 and lake |
Build the Lean engines and proof trees. |
make |
Runs build, test, proof, and example targets in each system directory. |
| Docker | Runs OpenClaw lawyer containers and builds attested workload images. |
| Podman | Runs Pi juror and council containers for local-agent runs. |
| Model-provider credentials | OpenClaw lawyers use Codex auth.json or OPENAI_API_KEY; current Pi pools use OpenRouter through OPENROUTER_API_KEY. |
Build one or more systems from the repository root:
make -C adc build test prove
make -C arb build test prove
make -C arbd build test proveThe repository root has no top-level Makefile. Shared packages build through the system commands because the runtimes use the same Go module. Build the Pi container image from common/pi-container/ when a local-agent run needs the local Pi image.
| Area | Primary documents |
|---|---|
| ADC | README, manual, practice guide, rules, attested runbook, dev-host requirements. |
| AAR | README, manual, practice guide, rules, attested runbook, dev-host requirements. |
| AARD | README, manual, practice guide, rules, attested runbook, dev-host requirements. |
| Evals | README, manual, sampling runbook, model inventory notes. |
| Shared model pools | Jury and council pool generation. |
The software is released under the MIT License in LICENSE. Trademark and related notice terms are in NOTICES.md.