Atlantis: AIxCC winner from Team Atlanta
========================================

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.

Maintainer: Team Atlanta (Georgia Tech, Samsung Research, KAIST, POSTECH)
Website: https://team-atlanta.github.io/
Category: Cyber reasoning systems (DARPA AIxCC)
Targets: C, Java
Approach: Ensemble of independent bug-finding modules sharing seeds, with eight patching agents
Access: Open source
Status: Open-sourced after the 2025-08-08 final
Strengths: Best real-bug count in a controlled competition. | Open source.
Limits: Heavy to deploy. | C and Java only. | Research code quality.
Firms using it: none listed
Sources: https://team-atlanta.github.io/ | https://www.darpa.mil/news/2025/aixcc-results

Source page: https://agentsast.com/tools/atlantis/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13