Formal verification for everyone
Democratizing formal verification for the agentic era, bringing natural language to proofs so everyone can build safer software.
Explore ApexCool open-source experiments
Small local AI
Extracting compute capacity from every device, finding the biggest language model each device can really run, then pushing it further with our custom engine.
Explore smolmaxxingCustom research harness
Pulling research from every source you trust, verifying each claim against the evidence, and running fully on-prem so your data never leaves.
Coming soon