The AI Agent for Software Maintenance: Our Investment in LogicStar

Photo: Prof. Dr. Martin Vechev, Mark Müller, Veselin Raychev, Boris Paskalev

The world’s rapid adoption of AI has sparked a wave of pivotal trends that are reshaping industries and workflows. Organisations relying on custom software spend considerable resources and time on maintenance and bug fixes, which divert developers from innovation. AI coding agents, despite performing well on benchmarks and simple tasks, tend to introduce errors in complex settings, leaving teams stuck with tedious maintenance tasks. Enter LogicStar, building the AI agent for fully autonomous software maintenance.

LogicStar is revolutionising software maintenance with its autonomous code agent, designed to deliver self-healing software applications that empower engineers to focus on innovation and growth. LogicStar works seamlessly alongside human developers, autonomously reproducing application issues, testing solutions and proposing precise fixes without the need for human oversight. We led a $3M round with the participation of angel investors from DeepMind, Snyk, Spotify, Fleet and Sequoia scouts. 

Using an advanced mock execution environment, LogicStar swiftly runs generated tests to reproduce issues and confirm solutions – spotting errors before you’re aware of them. The platform is rapidly evolving, with Python support already available and expansions to Typescript, Javascript, and Java coming soon. LogicStar has released SWT-Bench to support the development of code agents and demonstrated that existing code agents are not up to the challenge of enterprise code bases, failing on >95% of issues. 

The Zurich-based company was founded by Boris Paskalev, Veselin Raychev, Mark Müller, and Prof. Dr. Martin Vechev. Boris, Veselin, and Martin previously built DeepCode.ai (acquired by Snyk and now called Snyk Code) and scaled it to over $100M ARR: a technology trusted by millions of developers. Martin also leads the Secure, Reliable, and Intelligent Systems (SRI) lab at ETH Zurich. The unique technology behind LogicStar draws from the team’s deep research background and expertise from ETH Zurich, MIT, TRIUM, and INSAIT, resulting in over 20,000 citations and 350 top publications in AI and program analysis, particularly in large codebases and software development.

Our partner, Michiel Kotting adds, “AI-driven code generation is still in its early stages, but the productivity gains we’re already seeing are revolutionary. The potential for this technology to streamline development processes, reduce costs, and accelerate innovation is immense. and the team’s vast technical expertise and proven track record position them to deliver real, impactful results. The future of software development is being reshaped, and LogicStar will play a crucial role in software maintenance.”

We’re very excited to welcome the team to the portfolio as they reshape the future of complex software maintenance and operations!