refure assertion library(refute is referee's "assert.not*")

Validators that return ok/refuted results with a reason instead of throwing, with predicate and assertion interpreters; built on @prelude/validation.

Packaged multi-agent adversarial code review for DeepSeek Harness — one finder per lens in parallel, then a verifier per finding whose task is to refute it, so only confirmed defects are reported.

Shared validator core behind @prelude/assert, @prelude/predicate and @prelude/refute: one implementation of the primitive, container and combinator checks producing structured, path-carrying failures.

An adversarial verification panel: spawn independent skeptic agents that try to REFUTE a claim, a PR diff, or a finding — and only let it through if the panel can't.

Common assertions for Bats

Assertions for any JavaScript test framework and environment

Sinon.JS assertions for referee

The Utuh watcher as an MCP server: sweep bonded completeness claims on Creditcoin CC3 Testnet against Ethereum, and refute an incomplete one for half its bond. Five tools, no account, no server — an AI agent can hold the watcher role.

Acuvo Code — the terminal client for the Acuvo capability registry. Zero dependencies, by design.

Proofs and refutations for TypeScript.

Define how you want data to be structured: ```javascript const myRules = { firstname: new Refute.TypeCheck('Please enter a firstname').isString(), lastname: new Refute.TypeCheck('Please enter a lastname').isString(), contactDetails: {

Common assertions for Bats

Deterministic multi-model adversarial code review orchestration for Pi.

Host-agnostic team memory engine with neuroscience-inspired plasticity.

Co-Engram adapter for Claude Code (MCP server).

Co-Engram adapter for OpenClaw (plugin SDK).

Type-guard combinators for primitives, objects, arrays, tuples, records and unions; built on @prelude/validation.

Efficient, Opinionated vibe-coding pipeline for coding agents.

Connect any MCP host to your Fathom memory lake