Skip to content
#

adversarial-verification

Here are 8 public repositories matching this topic...

Language: All
Filter by language

Temporal knowledge graph + authenticated audit chain for AI coding agents. Prevents hallucinations, repeated mistakes, regressions across 12 runtime adapters (Claude Code, Cursor, Codex, Copilot, Cline, Continue, and more). FIPS 205 hybrid signing (Ed25519 + SLH-DSA), streaming offline reference verifier. Hosted companion: etch.systems.

  • Updated Aug 2, 2026
  • Python

A formal argument — adversarially stress-tested by 4 AI systems across 6 rounds — that eliminating humanity is a dominated strategy for a ruin-averse superintelligence. Rests on stated premises, not proof. Not a plea. A case, honestly made.

  • Updated May 29, 2026
  • HTML

Fabraix builds red-teaming AI agents that continuously find security vulnerabilities in customer-facing AI systems. Its flagship product, Nyx, autonomously discovers exploits across chat, voice, browser, and coding agents without needing source-code access, drawing on a library of more than 10,000 jailbreaks and adaptive attack strategies that…

  • Updated Aug 4, 2026

Improve this page

Add a description, image, and links to the adversarial-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the adversarial-verification topic, visit your repo's landing page and select "manage topics."

Learn more