Atlantis: complete award-winning CRS system that secured our DARPA AIxCC victory.

Foundational benchmark framework for evaluating Atlantis.

P4: advanced semantic patching system with AI-driven correctness validation.

Early-stage Atlantis CRS development and foundational research code.