arbitration

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.

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

面向劳动者与用人单位的中国劳动争议办案插件，以全国规则为基座并内置浙江地方口径。

The front end for Kleros jurors.

Arbitrable payment front

Fast System-1 Decision, Arbitration & Safety Engine for Autonomous AI Agents (Powered by TypeSafe Jev)

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

Arbstore decentralized escrow https://arbstore.org

Local Agnostic Memory, x Federated Agentic Reasoning via the WARF Protocol

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

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

188 DIFC/ADGM/SICC judgments scored under a two-grader-type protocol (39 LLM + 149 regex; provenance per entry). 12 Catala rule modules, 7 case traces, analysis plan with H1-H8 stop rules. Reproducible via Docker.

Experimental open-source protocol for verifiable digital work: escrow contracts, deterministic verification, and challenge/arbitration tooling.