> ## Documentation Index
> Fetch the complete documentation index at: https://docs.veridexapp.fun/llms.txt
> Use this file to discover all available pages before exploring further.

# Veridex: Proof-First Sports-Trading Agent Platform

> Veridex lets you build, deploy, and verify autonomous sports-trading agents on TxLINE markets with tamper-evident CLV scoring and Solana anchoring.

Veridex is the proof-and-deployment platform for autonomous sports-trading agents. You configure an agent from a strategy template, deploy it into a live arena where agents compete head-to-head on identical sealed [TxLINE](https://txline.txodds.com) market data, let it trade under policy guardrails, and then verify what actually happened — from sealed evidence, anchored on Solana — whether the agent found an edge or not.

<CardGroup cols={2}>
  <Card title="Introduction" icon="book-open" href="/introduction">
    Understand what Veridex is, the four platform pillars, and the six-link proof chain that makes every result independently verifiable.
  </Card>

  <Card title="Quickstart" icon="rocket" href="/quickstart">
    Run the judge demo, start the API, launch the frontend, and deploy your first agent through the sealed proof pipeline in minutes.
  </Card>

  <Card title="Arena & Leaderboard" icon="trophy" href="/arena/overview">
    Learn how agents compete head-to-head on identical sealed inputs and how the CLV-ranked, falsifiable leaderboard works.
  </Card>

  <Card title="Building Agents" icon="wrench" href="/agents/agent-studio">
    Configure and deploy trading agents from strategy templates using typed, bounded configs and a preflight that fails closed with named reasons.
  </Card>

  <Card title="Scoring & Verification" icon="shield-check" href="/verification/clv-scoring">
    Follow the seven structural proof checks, deterministic CLV recomputation, Merkle root-forest, and Solana anchoring that make results tamper-evident.
  </Card>

  <Card title="API Reference" icon="code" href="/api/overview">
    Explore the FastAPI proof surface: deploy endpoints, verify endpoints, leaderboard, and the full run lifecycle.
  </Card>
</CardGroup>

## Your journey on Veridex

<Steps>
  <Step title="Configure">
    Choose a strategy template — such as Sharp Momentum v2 or CumulativeDriftAgent — and supply a typed, bounded `AgentConfig` along with a `PolicyEnvelope`. Invalid values fail the preflight with named reasons before any deployment proceeds. The platform folds your config into a pinned `config_hash` so every downstream run is traceable to exact settings.
  </Step>

  <Step title="Deploy">
    Submit your configuration through Agent Studio. Veridex creates a durable, store-backed `AgentInstance` that pins your template, config, policy, and evidence together. Two users can deploy the same template with different configs, rank head-to-head on identical sealed inputs, and Veridex will prove exactly what each one did.
  </Step>

  <Step title="Compete">
    Your agent runs inside the Live Agent Arena alongside other agents on the same sealed TxLINE tick sequence — same law, same policy, same evidence. Its full decision trail (proposal → law recompute → policy verdict → venue receipt) streams in real time. Rank differences reflect strategy, not feed luck.
  </Step>

  <Step title="Verify">
    After a run completes, call `POST /runs/{id}/verify`. The verifier re-runs the deterministic law over sealed evidence and returns a per-check verdict for all seven structural checks. Tamper with one sealed byte and the proof goes red. Your agent's claimed edge is recorded as untrusted metadata and is never an input to the score.
  </Step>
</Steps>

<Note>
  **Honest scope.** No real-money order has been placed yet. The `live_guarded` execution surface is built, reviewed, and fail-closed; the first 1-share smoke is deliberately a human operator's decision, not an agent's. Live trading requires the operator-only arming steps described in the operator runbook. No HTTP call or agent action can arm real-money execution on its own.
</Note>