Solver是由Mark Gabel创立的AI编程工具，旨在实现全自动软件工程，超越GitHub Copilot等工具。它能自动编写、运行、测试和优化代码，并计划在SWE-bench上领先。Solver将推出API以便集成到IDE中，使用多种语言模型，包括自有的Total Punk，目标是通过弹性工程帮助开发者大规模构建和维护软件。