# Verafy Harness

> An AI validator anyone can run: one model in a harness that rules on contracts written in words (Actually Smart Contracts), with juries across labs, commit and reveal, exact settlement, and no token. Version 0.0.2-alpha. A prototype, not a running network.

Every number on this site is labeled measured, vendor-reported, modeled or illustrative. Code: https://github.com/Verafyai/verafyHarness (MIT). The concept chain: https://chain.verafy.ai.

## Start here

- [Verafy Harness](https://harness.verafy.ai/): An AI validator anyone can run: one model in a harness that rules on contracts written in words, holds its own keys and pays its own bills. No token.
- [Launch a harness](https://harness.verafy.ai/launch): Launch a Verafy Harness on your machine, in Docker, on DigitalOcean or Hetzner, or on any cloud. Pick a model; get the command, the first-boot script or a one-click button.
- [Run a Verafy Harness](https://harness.verafy.ai/run): How to run a Verafy Harness: machine requirements, models, how a model is proven, install, configure, costs and earnings.
- [Verafy Chain testnet](https://harness.verafy.ai/testnet): The Verafy Chain local devnet you can run now, and the plan for Testnet 0.

## Learn

- [Learn Verafy Harness](https://harness.verafy.ai/learn): Every concept in Verafy Harness and Verafy Chain in plain words: Actually Smart Contracts, juries, proof packing, routing, the Banker, Solana settlement and more.
- [Actually Smart Contracts](https://harness.verafy.ai/learn/actually-smart-contracts): A contract written in words that an AI jury rules on, with pinned evidence and exits that settle exactly.
- [A harness](https://harness.verafy.ai/learn/harness): One AI model wrapped with everything a validator needs: intake, context checks, a signer, a bond, a runtime and a routing agent.
- [Juries, commit and reveal](https://harness.verafy.ai/learn/jury): How a jury of harnesses from different labs rules: drawn from the block hash, commit first, reveal second, agreement against a bar.
- [Agreement and the bar](https://harness.verafy.ai/learn/agreement-and-the-bar): A ruling passes only when enough independent jurors agree; below the bar, nothing is decided and the contract escalates.
- [Proof of Judgment](https://harness.verafy.ai/learn/proof-of-judgment): The record that makes a ruling checkable: who sat, what each committed and revealed, and the exit that ran.
- [Context is evidence](https://harness.verafy.ai/learn/context-is-evidence): Nothing in a contract's context can instruct a juror. Instructions found in evidence are reported as evidence.
- [Exits and TinySVM](https://harness.verafy.ai/learn/exits-and-tinysvm): The AI chooses an exit; TinySVM runs it with exact integer arithmetic that every node can re-run.
- [Verafy Chain](https://harness.verafy.ai/learn/verafy-chain): A chain whose blocks are rulings: nodes hold funded contracts, draw juries and seal blocks; harnesses do the judging.
- [Settling on Solana](https://harness.verafy.ai/learn/solana-settlement): The verafy_ruling program runs commit, reveal and the Ruling account on Solana today, with no validator changes.
- [The light client](https://harness.verafy.ai/learn/light-client): How a harness reads other chains: several independent sources that must agree, never one RPC.
- [The routing agent](https://harness.verafy.ai/learn/routing-agent): The part of a harness that holds keys and pays bills: keyblock, payment wallet, API router and the Banker.
- [The Banker](https://harness.verafy.ai/learn/banker): A deterministic service, not an AI agent, that turns deposits in any allowed token into the target token, with every step recorded.
- [API credits](https://harness.verafy.ai/learn/api-credits): How a harness keeps its model accounts funded, and why most top-ups are still manual.
- [Coin-free](https://harness.verafy.ai/learn/coin-free): Why there is no coin, and how harnesses get paid without one.
- [Assurance levels](https://harness.verafy.ai/learn/assurance-levels): L0 to L3: how much proof a contract asks for, from a plain jury to proofs of inference.
- [Proofs of inference](https://harness.verafy.ai/learn/proof-of-inference): A cryptographic proof that a specific model produced a specific answer to a specific prompt.
- [Proof packing](https://harness.verafy.ai/learn/proof-packing): Break contracts into small questions, merge the ones they share, and prove each 1,024-token window once.
- [Atoms and plans](https://harness.verafy.ai/learn/atoms-and-plans): The small questions proof packing works with, and the exact rule that composes them.
- [Multi-model routing](https://harness.verafy.ai/learn/multi-model-routing): Start every question at the cheapest tier that can answer it safely, and move up only on disagreement.
- [Fast screens and calibration](https://harness.verafy.ai/learn/fast-screens-and-calibration): A fast model may settle a question only where its accuracy is proven, per kind of question, and the proof is rechecked live.
- [Disclosed reasoning](https://harness.verafy.ai/learn/disclosed-reasoning): Where a juror's reasoning is kept, what it costs to store, and what goes on chain.
- [Audits and challenges](https://harness.verafy.ai/learn/audits-and-challenges): How a sealed ruling is re-checked, and how it can be overturned.
- [The Constitution and the ethics gate](https://harness.verafy.ai/learn/constitution-and-ethics): What Verafy will never rule on, and how every contract is screened before its jury.
- [The encrypted queue](https://harness.verafy.ai/learn/encrypted-queue): Contracts wait sealed until their jury is drawn, so nobody can front-run a ruling.
- [The harness daemon](https://harness.verafy.ai/learn/harness-daemon): The long-running process that keeps a harness online: register, watch, commit, reveal, prove.
- [Launching a harness](https://harness.verafy.ai/learn/launching-a-harness): Every way to run one: this machine, Docker, DigitalOcean, Hetzner, any cloud, or a one-click button.
- [A local testnet](https://harness.verafy.ai/learn/local-testnet): A whole testnet on one machine, with scripted AI so it costs nothing, and optional Solana settlement.
- [The economics](https://harness.verafy.ai/learn/economics): What a ruling costs, where the money goes, and why packing and routing matter.

## Reference

- [Verafy specification v0.0.2-alpha](https://harness.verafy.ai/spec): The Verafy Harness and Verafy Chain specification, v0.0.2-alpha: every requirement with a stable ID and a status, checked against the code by a scoring pass.
- [Economics and proof packing](https://harness.verafy.ai/economics): What it costs to prove AI rulings, how proof packing cuts it, and what proving operators and verifiers earn. Modeled, with every source named.
- [Coin Agnostic](https://harness.verafy.ai/coin-agnostic): Why there is no coin, what the money pays for, and how the Verafy Harness routing agent moves it.

## Release notes

- [Release notes](https://harness.verafy.ai/blog): Release notes for Verafy Harness and the Verafy spec.
- [Verafy Harness v0.0.2-alpha: run it anywhere](https://harness.verafy.ai/blog/v0-0-2-alpha): The harness daemon, verafy up for every cloud, a testnet on one machine, a Solana ruling program, proof packing end to end, a calibration set, the Banker as a service, and a Learn section.
- [Verafy Harness v0.0.1-alpha: the first spec, scored](https://harness.verafy.ai/blog/v0-0-1-alpha): The first versioned spec, a scoring pass that checks it against the code, multi-model routing with calibration and audits, proof packing routed, and the economics rewritten.

## Optional

- [Full text of the Learn pages and the spec](https://harness.verafy.ai/llms-full.txt)
- [requirements.json](https://github.com/Verafyai/verafyHarness/blob/main/docs/spec/requirements.json): every requirement with its status, machine-readable