Back to directory

Audison

A framework that has two AI models argue over a piece of code, with a third cross-validating, so a security or correctness finding survives adversarial attack instead of resting on one model's opinion.

Audison

Audison is a framework for auditing code with more than one AI model rather than trusting a single model's review. One model audits, another attacks the finding from several adversary perspectives, and a third cross-validates, so a reported issue is one that survived attack rather than one the models simply agreed on.

A separate component runs AST-based static analysis as a distinct, faster first pass. The project reports an audit of a well-known Python HTTP library across ten security-critical functions as a worked example, with confirmed, refuted and excluded false-positive findings shown for that run. It installs with pip, needs API keys for at least two model providers for cross-arbitration, and is Apache-2.0 licensed.

More in Code quality

See all 94
  • Critic

    critic.run

    A code-change viewer, backed by Y Combinator, built for reviewing work written by coding agents, presenting a plain-language narrative of each change alongside the diff and a running conversation with the agent.

  • GitIntel

    hoangsonww.github.io

    An MCP server that computes git repository analytics such as hotspots, churn, temporal coupling, knowledge maps and risk scoring entirely from local commit history, for AI coding agents like Claude Code and Codex.

  • Axint

    axint.ai

    A verification layer for AI coding agents working on Apple projects: it runs real Xcode builds and tests against the Swift an agent wrote, reconciles static analysis findings against that evidence, and returns a signed proof with the exact repairs still needed.