Research
Our research.
Our own AI and our own tools. Each one comes with a number that shows it works, and how we measured it.
- AI engineer Nexus Nexus is our AI engineer. It makes slow code fast, and it only calls a fix done when the measurements prove it. 92% less time per request, on a slowdown we hid for it Read about Nexus
- Our AI, for real jobs R2 R2 is our AI for real jobs. It has one fixed brain and a team of skills, and it learns from you while it works, without forgetting what it knew. Read about R2
- Code prover Phage Phage is our code prover for Rust. It checks every input a function can get, up to a size we choose, and proves the code right or shows an input that breaks it. 31 times faster than Kani, Amazon’s Rust checker, on the same proof Read about Phage
- Web server Nexagate Nexagate is our own web server, written in Rust from the ground up. This website runs on it. 211,000 HTTP/2 requests a second, against 155,000 for nginx Read about Nexagate
- Mail server Nexaaly Mail Nexaaly Mail is our own mail server and webmail, written in Rust. 14 times less CPU per message than Postfix with Dovecot Read about Nexaaly Mail
- Code maps for AI Repomap Repomap shows an AI agent where to look in code it has never seen. 87% of the right files are in the first five picks of an AI agent new to the code Read about Repomap