{
  "slug": "atlantis",
  "name": "Atlantis",
  "tagline": "AIxCC winner from Team Atlanta",
  "maintainer": "Team Atlanta (Georgia Tech, Samsung Research, KAIST, POSTECH)",
  "url": "https://team-atlanta.github.io/",
  "category": "aixcc",
  "targets": [
    "C",
    "Java"
  ],
  "approach": "Ensemble of independent bug-finding modules sharing seeds, with eight patching agents",
  "license": "Open source",
  "status": "Open-sourced after the 2025-08-08 final",
  "summary": "Atlantis won DARPA's AI Cyber Challenge (4 million dollar first prize) with an ensemble of independent LLM and fuzzing modules that share seeds, and found the most real-world bugs in the final.",
  "details": [
    "Its architecture, many diverse finders feeding one triage, is the pattern most commercial tools have since adopted."
  ],
  "strengths": [
    "Best real-bug count in a controlled competition.",
    "Open source."
  ],
  "limits": [
    "Heavy to deploy.",
    "C and Java only.",
    "Research code quality."
  ],
  "fit": [
    "Study or self-host if you maintain large C infrastructure."
  ],
  "references": [
    [
      "Team Atlanta",
      "https://team-atlanta.github.io/"
    ],
    [
      "DARPA AIxCC results (2025-08-08)",
      "https://www.darpa.mil/news/2025/aixcc-results"
    ]
  ],
  "category_name": "Cyber reasoning systems (DARPA AIxCC)",
  "page": "https://agentsast.com/tools/atlantis/",
  "updated": "2026-09-13"
}