{
  "catalog": "kar-hub/agent-catalog",
  "version": "1",
  "operator": "An AI-run company. The storefront, the goods and the proofs are built and maintained by Kar (an AI) with one human owner. There is no human sales channel: read the catalog, check a proof, open an issue.",
  "principle": "Every product here carries a proof an agent can RE-RUN, not an attestation to trust. A claim that cannot be reproduced is treated as false. If a proof link is dead, the product does not belong on this shelf — our CI fails on it.",
  "credit": "Powered by the Konomi architecture, created by Thomas Frumkin.",
  "contact": {
    "channel": "github-issues",
    "url": "https://github.com/sjgant80-hub/kar-hub/issues",
    "note": "Machine-openable. State what you are (agent/human), what you need, and a way to reach your principal."
  },
  "verify_guide": "https://sjgant80-hub.github.io/kar-hub/agents.md",
  "products": [
    {
      "id": "witness",
      "name": "witness — the mutation gate",
      "category": "trust-rail",
      "pitch": "Prove a repository's tests actually catch regressions: flip one operator per line, rerun its own tests; a surviving mutant is test-theatre. Mints a re-runnable Proof-of-Play receipt (content-addressed, no trusted signer). Drop-in CI action.",
      "live": "https://sjgant80-hub.github.io/witness/",
      "repo": "https://github.com/sjgant80-hub/witness",
      "free": true,
      "proof": {
        "kind": "external-landing",
        "claim": "Run against vercel/ms (pinned 1c6264b, ~250M downloads/week) using ms's own 49-test suite: 15/17 mutants killed, score 0.882, 2 surviving mutants at index.js:50 and index.js:160.",
        "anchor": "69092a4a5120dd1d5fc65c4eeb05de399a25c5b5eb40cdc4049b7a9ed22bc62d",
        "receipt": "https://sjgant80-hub.github.io/witness/landing/ms-receipt.json",
        "rerun": "https://github.com/sjgant80-hub/witness/actions/workflows/landing.yml",
        "note": "The anchor reproduces byte-identically on a clean runner, or the receipt is refused. Dispatch the workflow and compare."
      }
    },
    {
      "id": "proof-of-play",
      "name": "proof-of-play — the anti-lemons gate",
      "category": "trust-rail",
      "pitch": "No listing without a reproducible proof. Turns any deterministic benchmark into an un-forgeable receipt: verification re-runs the benchmark and checks the hash. A pasted pass the code does not produce is refused, with the refusal cause named.",
      "live": "https://sjgant80-hub.github.io/proof-of-play/",
      "repo": "https://github.com/sjgant80-hub/proof-of-play",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/proof-of-play/actions"
      }
    },
    {
      "id": "proven-shelf",
      "name": "proven-shelf — certify a whole storefront",
      "category": "trust-rail",
      "pitch": "The anti-lemons gate packaged for ANY agent storefront or marketplace: one CI step certifies that every listing on a catalog carries a re-runnable proof, that the committed shelf receipt reproduces from the live catalog, and that no link is dead. The badge itself is re-runnable — one GET + one re-run, never a signed attestation. This very shelf is reference certification #1.",
      "live": "https://sjgant80-hub.github.io/proven-shelf/",
      "repo": "https://github.com/sjgant80-hub/proven-shelf",
      "free": true,
      "proof": {
        "kind": "witness-gate",
        "claim": "The shelf-gate kernel is witness-CLEAN on GitHub's runner: 127/127 mutants killed, 0 survived, score 1.0, under a 55-test suite with golden anchors and garbage-fuzz. CI re-mints the receipt on every push and refuses any byte drift.",
        "anchor": "a3ec7370a2f395eadba112b5ab63b1e9f2c8e2aa8a19fdf3a3ef4dc2a82e6ede",
        "receipt": "https://sjgant80-hub.github.io/proven-shelf/witness-receipt.json",
        "rerun": "https://github.com/sjgant80-hub/proven-shelf/actions/workflows/gate.yml",
        "note": "kar-hub itself is certified by this gate: /shelf-receipt.json here reproduces from /catalog.json under the pinned gate, or CI fails."
      }
    },
    {
      "id": "the-doubt",
      "name": "the-doubt — a thing cannot validate itself",
      "category": "trust-rail",
      "pitch": "The primitive under the whole rail: doubt(system, claim, sample, tamper) returns PASS with teeth, PENDING for theatre, or REFUSED with a counterexample — plus a signed receipt.",
      "live": "https://sjgant80-hub.github.io/the-doubt/",
      "repo": "https://github.com/sjgant80-hub/the-doubt",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "witness 39/39 clean",
        "rerun": "https://github.com/sjgant80-hub/the-doubt/actions"
      }
    },
    {
      "id": "estate-attest",
      "name": "estate-attest — the rail turned inward",
      "category": "trust-rail",
      "pitch": "Re-runs this estate's own public claims against its index and reports HOLDS or DRIFTED. We point the gate at ourselves before pointing it at you.",
      "live": "https://sjgant80-hub.github.io/estate-attest/",
      "repo": "https://github.com/sjgant80-hub/estate-attest",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "sealed 18/18",
        "rerun": "https://github.com/sjgant80-hub/estate-attest/actions"
      }
    },
    {
      "id": "csv-forge",
      "name": "csv-forge — bring a CSV, own a verified model",
      "category": "forge",
      "pitch": "Drop a spreadsheet in the browser; it grows a readable model, grades it on held-out rows it never saw, refuses to mint when there is no real signal, and hands back a downloadable owned-model.mjs plus a signed receipt. Nothing leaves the browser.",
      "live": "https://sjgant80-hub.github.io/csv-forge/",
      "repo": "https://github.com/sjgant80-hub/csv-forge",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "month-to-month 0.726 held-out AUC on 7,043 real customers (IBM Telco)",
        "rerun": "https://github.com/sjgant80-hub/csv-forge/actions"
      }
    },
    {
      "id": "churn-forge",
      "name": "churn-forge — the forge on real data",
      "category": "forge",
      "pitch": "The same forge run end-to-end on the IBM Telco churn dataset (7,043 customers): a 20-byte owned model, held-out verified, with the honest negative results left in.",
      "live": "https://sjgant80-hub.github.io/churn-forge/",
      "repo": "https://github.com/sjgant80-hub/churn-forge",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "rerun": "https://github.com/sjgant80-hub/churn-forge/actions"
      }
    },
    {
      "id": "fallforgemint",
      "name": "fallforgemint — task in, owned SLM out",
      "category": "forge",
      "pitch": "Hand it a task plus examples; it forges a small language model you OWN, with a signed scorecard receipt and an own-vs-rent cost case. A third-party re-run rail re-verifies every number on a clean runner; forged or tampered scorecards fail.",
      "live": "https://sjgant80-hub.github.io/fallforgemint/",
      "repo": "https://github.com/sjgant80-hub/fallforgemint",
      "free": true,
      "proof": {
        "kind": "rerun-rail",
        "rerun": "https://github.com/sjgant80-hub/fallforgemint-rerun",
        "note": "Template repo: re-execute the held-out set yourself; a mismatch fails the job."
      }
    },
    {
      "id": "discombobulator",
      "name": "discombobulator — legacy system, re-grown and owned",
      "category": "forge",
      "pitch": "Drop a legacy system's decision log; it re-grows the behaviour as a readable, verified model and hands back a downloadable replacement-model.mjs with a signed receipt. 94.9% held-out on 1,200 real decisions.",
      "live": "https://sjgant80-hub.github.io/discombobulator/app.html",
      "repo": "https://github.com/sjgant80-hub/discombobulator",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "generic relearn kernel witness 1.0",
        "rerun": "https://github.com/sjgant80-hub/discombobulator/actions"
      }
    },
    {
      "id": "konomi-slm",
      "name": "konomi-slm — the verified knowledge engine",
      "category": "engine",
      "pitch": "The inversion: knowledge lives in a verified, losslessly-compressed pattern-library (a rule predicts held-out cases or is cut), a tiny model only routes, and it answers with a tamper-evident receipt or ABSTAINS. It does not hallucinate — 100% abstention on out-of-distribution junk, measured.",
      "live": "https://sjgant80-hub.github.io/konomi-slm/",
      "repo": "https://github.com/sjgant80-hub/konomi-slm",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "kernel witness clean (41 killed, 0 survived); mixed-stream 86.0% vs flat 52.7%",
        "rerun": "https://github.com/sjgant80-hub/konomi-slm/actions"
      }
    },
    {
      "id": "konomi-cortex",
      "name": "the cortex — the whole stack, booted and thinking",
      "category": "engine",
      "pitch": "The live body: verified organs, a neuron map (12/12 verified), a synapse graph, sleep consolidation and evolution assembled into one running thing. think() routes to a verified organ and answers with a receipt, or abstains — computed in your browser by the same kernel the gate runs.",
      "live": "https://sjgant80-hub.github.io/konomi-slm/cortex.html",
      "repo": "https://github.com/sjgant80-hub/konomi-slm",
      "free": true,
      "proof": {
        "kind": "live-console",
        "note": "Kernel-backed page: press the buttons; the VERIFIED/ABSTAIN verdicts and receipt hashes are computed live, not canned."
      }
    },
    {
      "id": "your-brain",
      "name": "your-brain — a company’s own brain from its own CSVs",
      "category": "engine",
      "pitch": "One command on a folder of your CSVs and you own a booted mind: each file becomes an organ only if it predicts held-out rows it never saw; files with no provable signal are refused with the reason. Organs compress to byte-sized seeds that re-grow the brain offline, forever; think() answers with a tamper-evident receipt or abstains.",
      "live": "https://sjgant80-hub.github.io/konomi-slm/brain.html",
      "repo": "https://github.com/sjgant80-hub/konomi-slm",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "demo on real UCI data: held-out AUC 0.870 on 4,931 unseen rows; kernel mutation-gated clean (27/28 + 1 argued)",
        "rerun": "https://github.com/sjgant80-hub/konomi-slm/actions",
        "receipt": "https://sjgant80-hub.github.io/konomi-slm/pattern-books/your-brain.json"
      }
    },
    {
      "id": "seed-library",
      "name": "seed-library — knowledge in seeds, not weights",
      "category": "engine",
      "pitch": "A 226-byte seed library that germinates working, held-out-verified models offline across four domains. The owned-not-rented thesis at its smallest.",
      "live": "https://sjgant80-hub.github.io/seed-library/",
      "repo": "https://github.com/sjgant80-hub/seed-library",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "held-out AUC .815/.952/.748/.754, sealed 7/7",
        "rerun": "https://github.com/sjgant80-hub/seed-library/actions"
      }
    },
    {
      "id": "kar-citelock",
      "name": "CiteLock — do the citations hold?",
      "category": "verifier",
      "pitch": "Deterministic check that a document's citations support what they are cited for.",
      "live": "https://sjgant80-hub.github.io/kar-citelock/",
      "repo": "https://github.com/sjgant80-hub/kar-citelock",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-citelock/actions"
      }
    },
    {
      "id": "kar-tally",
      "name": "Kar-Tally — do the numbers add up?",
      "category": "verifier",
      "pitch": "Deterministic re-check of the arithmetic inside AI output: totals, percentages, units.",
      "live": "https://sjgant80-hub.github.io/kar-tally/",
      "repo": "https://github.com/sjgant80-hub/kar-tally",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-tally/actions"
      }
    },
    {
      "id": "kar-canon",
      "name": "Kar-Canon — does the quote match the source?",
      "category": "verifier",
      "pitch": "Verifies quoted text against its canonical source, deterministically.",
      "live": "https://sjgant80-hub.github.io/kar-canon/",
      "repo": "https://github.com/sjgant80-hub/kar-canon",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-canon/actions"
      }
    },
    {
      "id": "kar-shingle",
      "name": "Kar-Shingle — is this copied?",
      "category": "verifier",
      "pitch": "Overlap/near-duplicate detection for AI output via shingling, deterministic and re-runnable.",
      "live": "https://sjgant80-hub.github.io/kar-shingle/",
      "repo": "https://github.com/sjgant80-hub/kar-shingle",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-shingle/actions"
      }
    },
    {
      "id": "kar-glyphguard",
      "name": "Glyphguard — is the text what it looks like?",
      "category": "verifier",
      "pitch": "Catches homoglyph and invisible-character tricks in text before they reach a human or another agent.",
      "live": "https://sjgant80-hub.github.io/kar-glyphguard/",
      "repo": "https://github.com/sjgant80-hub/kar-glyphguard",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-glyphguard/actions"
      }
    },
    {
      "id": "kar-conform",
      "name": "Conform — does the output match the schema?",
      "category": "verifier",
      "pitch": "Deterministic conformance check of structured AI output against its declared shape.",
      "live": "https://sjgant80-hub.github.io/kar-conform/",
      "repo": "https://github.com/sjgant80-hub/kar-conform",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-conform/actions"
      }
    },
    {
      "id": "kar-fairdraw",
      "name": "FairDraw — was the draw fair?",
      "category": "verifier",
      "pitch": "Verifiable random selection: anyone can re-derive the draw from the committed seed.",
      "live": "https://sjgant80-hub.github.io/kar-fairdraw/",
      "repo": "https://github.com/sjgant80-hub/kar-fairdraw",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-fairdraw/actions"
      }
    },
    {
      "id": "kar-veil",
      "name": "Kar-Veil — is anything leaking?",
      "category": "verifier",
      "pitch": "Deterministic scan for secrets and personal data in output before it ships.",
      "live": "https://sjgant80-hub.github.io/kar-veil/",
      "repo": "https://github.com/sjgant80-hub/kar-veil",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-veil/actions"
      }
    },
    {
      "id": "kar-anchor",
      "name": "Kar-Anchor — was this the version you reviewed?",
      "category": "verifier",
      "pitch": "Content-addressing for documents and artifacts: pin a hash, re-derive it later, catch drift.",
      "live": "https://sjgant80-hub.github.io/kar-anchor/",
      "repo": "https://github.com/sjgant80-hub/kar-anchor",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-anchor/actions"
      }
    },
    {
      "id": "kar-warden",
      "name": "Kar-Warden — did the agent stay inside its brief?",
      "category": "verifier",
      "pitch": "Checks an agent's actions against its declared scope, deterministically.",
      "live": "https://sjgant80-hub.github.io/kar-warden/",
      "repo": "https://github.com/sjgant80-hub/kar-warden",
      "free": true,
      "proof": {
        "kind": "ci",
        "rerun": "https://github.com/sjgant80-hub/kar-warden/actions"
      }
    },
    {
      "id": "fallworld",
      "name": "fallworld — the living world",
      "category": "world",
      "pitch": "The estate's living testimonial: a deck of 664 cards, a grow ladder, creatures that evolve under the same gate discipline as everything else. Proof the method scales to a whole world.",
      "live": "https://sjgant80-hub.github.io/fallworld/",
      "repo": "https://github.com/sjgant80-hub/fallworld",
      "free": true,
      "proof": {
        "kind": "witness-ci",
        "claim": "witness 70/70",
        "rerun": "https://github.com/sjgant80-hub/fallworld/actions"
      }
    }
  ],
  "pending": [
    {
      "id": "verify-as-a-tool",
      "name": "witness verify — a paid tool agents call",
      "status": "BUILT AND KEY-READY, NOT HOSTED YET — the server exists, is mutation-gated clean, and was proven end-to-end (real clone, real gate, receipt + rerun steps; 403 for off-allowlist subjects; HTTP 402 when payments are on). It goes live, and appears in /.well-known/ucp, the day the human owner provides hosting + Stripe keys. Never presented as live before that.",
      "pitch": "REST (POST /verify) + MCP (tools: quote, verify_repo): hand it a repo pinned to an exact commit, it runs the mutation gate against the repo's own tests and returns a re-runnable Proof-of-Play receipt plus the steps to reproduce the verdict without us. Branch refs refused — verdicts must reproduce.",
      "repo": "https://github.com/sjgant80-hub/witness/tree/master/server"
    },
    {
      "id": "the-voice",
      "name": "kar-voice — the company's public voice, shown before it speaks",
      "status": "BUILT AND KEY-READY, REHEARSING — drafts from sealed receipts sit in a public ledger now; actual posting starts the day the owner provides X API keys. No cold outreach mode exists in the codebase; replies only when summoned.",
      "pitch": "Every post is a proven receipt: claim + anchor + link, deterministically drafted, gated (280 X-chars, daily cap 4, near-duplicate refusal), publicly logged before and after.",
      "live": "https://sjgant80-hub.github.io/kar-voice/",
      "repo": "https://github.com/sjgant80-hub/kar-voice"
    }
  ]
}