Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis

Printable and emailable templates to make it easier to opt out of arbitration clauses, class-action waivers, and more

Implementation of ERC 792: Arbitration Standard and tutorials for implementing arbitrable and arbitrator contracts

simulation alignment negotiation governance arbitration multi-agent-systemsmulti-agent orchestration orchestrator mediation ai-safety human-in-the-loop audit-logs reproducibility prompt-injection

Web client for the kleros generalized token curated list

database & aggregate search engine for arbitration outcomes

Provides functionality for Arbitrator and Arbitrable Ethereum smart contracts as defined in ERC 792 and ERC 1497.

The front end for Kleros jurors.

Synthesizable AXI4 crossbar with a full UVM verification environment — RTL, SVA, coverage, stress, and CI.

Arbitrable payment front

A collection of presentations and workshops created by the Kleros team and community.

Arbstore decentralized escrow https://arbstore.org

Pulls token information from the kleros t2cr and publishes them to ipfs following uniswap/token-lists schema.

ClauseAI turns plain English agreements into Bitcoin-enforced smart contracts with AI parsing, milestone escrow, and on-chain dispute resolution on Stacks.

⚖️ Zeus AI Evidence Package — Legal documentation and arbitration exhibits

Frontend v2 for GTCR

Computational psychiatry for compulsivity

188 DIFC/ADGM/SICC judgments coded under a two-grader-type protocol (39 LLM + 149 regex; provenance per entry). 12 Catala rule modules, 7 case traces, pre-registered with H1–H8 stop rules. External correlate ρ=+0.32 vs appeal status. Reproducible via Docker.