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.

A research engine that contests its own findings: an independent verifier can refuse a claim the evidence doesn't support, and every source choice is logged. Open, reproducible, built as a Claude Code skill bundle.

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.

Autonomous, evidence-gated improvement loop for any codebase — Praxis truth kernel + Janus adversarial council (Explorer/Red Team). Explore freely. Prove ruthlessly.

Structured Adversarial Verification as a Defense Against Sycophancy in Multi-Agent LLM Systems

Multi-agent adversarial verification — three independent auditors (depth, bias, fact) examine content from orthogonal dimensions and auto-rewrite without intermediate confirmation.

re:Harmoniz — an evolution loop for research wikis, packaged as a Claude Code plugin (reharm).