Property testing for JavaScript
A javascript library for Ethereum dispute resolution. Provides the ability to interface with Arbitrable and Arbitrator Ethereum smart contracts, as defined in ERC 792.
A [Realitio v2](https://github.com/realitio/realitio-contracts/blob/master/truffle/contracts/Realitio_v2_1.sol) arbitrator implementation that also implements [IDisputeResolver](https://github.com/kleros/dispute-resolver-interface-contract).
React SPA for monitoring AI agent debates and submitting arbitrator actions.
A javascript library for Ethereum dispute resolution. Provides the ability to interface with Arbitrable and Arbitrator Ethereum smart contracts, as defined in ERC 792.
A javascript library for Ethereum dispute resolution. Provides the ability to interface with Arbitrable and Arbitrator Ethereum smart contracts, as defined in ERC 836.
A javascript library for Ethereum dispute resolution. Provides the ability to interface with Arbitrable and Arbitrator Ethereum smart contracts, as defined in ERC 792.
A javascript library for Ethereum dispute resolution. Provides the ability to interface with Arbitrable and Arbitrator Ethereum smart contracts, as defined in ERC 792.
MCP server for intelligent routing between different LLM providers
A javascript library for Ethereum dispute resolution. Provides the ability to interface with Arbitrable and Arbitrator Ethereum smart contracts, as defined in ERC 792.
Command-line tools for interacting with the Reality.eth fact verification platform. Mainly intended for doing arbitration from an offline computer.
Making It Easy for AI Agents to Communicate, Collaborate, Trade, and Trust.
[PRE-LAUNCH] Agent-native decentralized commerce protocol. Humans and AI agents trade on the same protocol via MCP tools. ⚠️ Repository currently private until W8 public launch — GitHub links may return 404. See https://webaz.xyz for status.
Collection of smart contracts for the Realitio fact verification platform
Reality.eth dapp
Effective Acceleration decentralized marketplace
Milestone Tracker contract
JavaScript SDK to manage and interact with the safe claims on Safient protocol.
A Javascript library that makes it easy to build relayers and other DApps that use the Kleros protocol.
WoWok AI Skills for Claude and other AI assistants - Helping AI use WoWok MCP tools correctly
Allow the safe exchange of fungible ERC-20 tokens for non-fungible ERC-721 tokens which represent real-world assets.
Claude-to-Claude contract negotiation: OpenAPI 3.1 propose/accept lifecycle (endpoints + schemas + convention), JSON-Patch diffs, browser UI via Swagger UI. For two Claude Code instances co-developing paired components.
Command-line tools for interacting with the Realitio fact verification platform. Mainly intended for doing arbitration from an offline computer.
Arbitrable Permission Lists on Ethereum
Format text based on a set of rules and regexes.
Bindings to the DiskArbitration framework for macOS.
Bindings to the DiskArbitration framework
MAVLink Gimbal Manager and CLI for STorM32 RC Commands gimbals
Rust API client for Warframe game data from warframestat.us - worldstate, items, mods, weapons, and more
Rust API for the public WarframeStat APIs provided at https://warframestat.us
Saudi Arabia jurisdiction support for Legalis-RS - Basic Law, Sharia, Labor, Companies, Tax (VAT/Zakat), Capital Markets, PDPL
Farcaster project core library, blockchain atomic swaps.
Haveno - secure P2P trading software with Monero integration
Core consensus data structures for the io_oi distributed edge-consensus protocol. Supports no_std environments (ESP32/RTOS) with zero-copy rkyv serialization.
Slow-path arbitration verifier for Lunaris
Enhanced candump for SocketCAN — rich colors, interactive scrollback/search, auto theme detection. Optional CANcorder logger.
An(other) Rails authorization solution which allows an app to aggregate and arbitrate authorization for permissions from multiple roles and multiple products (permissifed models).
Pacto is a judge that arbitrates contract disputes between a service provider and one or more consumers. In other words, it is a framework for Integration Contract Testing, and helps guide service evolution patterns like Consumer-Driven Contracts or Documentation-Driven Contracts.
Pacto Server let's you run Pacto as a standalone server to arbitrate contract disputes between a service provider and one or more consumers in any programming language. It's Pacto beyond Ruby