Skip to content
#

adversarial-verification

Here are 10 public repositories matching this topic...

world-model-mcp is a signed audit memory server for AI coding agents, delivered as an MCP tool. Every event Ed25519-signed and Merkle-chained; offline-verifiable against pinned public keys. Hosted platform with hybrid post-quantum signing at etch.systems.

  • Updated Sep 15, 2026
  • Python
prove-it

Open-source adversarial verification Agent Skill for Claude Code, OpenAI Codex, and Cursor. Make AI coding agents prove bug fixes, CI, logs, and deployments.

  • Updated Aug 18, 2026
  • JavaScript

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 — independent third-party profile of a public API surface, by API Evangelist. 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, drawin

  • Updated Sep 23, 2026

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