Our Vision
Why we believe this matters.
Growing Impact
As more things come to rely on software, the consequences of bugs in the real world will only grow.
Human Factor
Humans will always be involved in building software, so software will always have mistakes.
AI Solution
With AI, we have the opportunity to build highly intelligent code verifiers that can catch hidden bugs that humans and even testing cannot catch. We're doing just that.
Our Culture
EVERYONE TALKS TO CUSTOMERS
Every team member is in each of the hundreds of shared Slack channels we have with our customers. When user feature requests align with our vision, we ship them quickly.
WE'RE NATURALLY COMPETITIVE
We're not interested in being the second best at anything we care about.
FOCUS ON CORE METRICS
Our core metrics are on a real-time dashboard on a TV in our office, particularly focusing on retention and growth in that order.
WE LIKE HARD PROBLEMS
We work on problems like procedural memory for agents, efficient graph indexing for codebases, reinforcement learning for coding agents, and more.
DISCIPLINE > HYPE
We want to build a large, independent business that lasts for decades, not a hype-fueled boom and bust.
TRANSPARENCY
Every team member has access to our financials, core metrics, and current + prospective customers.
EVERYONE TALKS TO CUSTOMERS
Every team member is in each of the hundreds of shared Slack channels we have with our customers. When user feature requests align with our vision, we ship them quickly.
WE'RE NATURALLY COMPETITIVE
We're not interested in being the second best at anything we care about.
FOCUS ON CORE METRICS
Our core metrics are on a real-time dashboard on a TV in our office, particularly focusing on retention and growth in that order.
WE LIKE HARD PROBLEMS
We work on problems like procedural memory for agents, efficient graph indexing for codebases, reinforcement learning for coding agents, and more.
DISCIPLINE > HYPE
We want to build a large, independent business that lasts for decades, not a hype-fueled boom and bust.
TRANSPARENCY
Every team member has access to our financials, core metrics, and current + prospective customers.
What We Offer
We believe in taking care of our team with comprehensive benefits that support you.
401(k) Matching
We match up to 4% of your 401(k): 100% of the first 3% you contribute, and 50% of the next 2%
Time Off
3 weeks of PTO & 2 weeks of remote work
Meals
Catered lunch & dinner
Health Insurance
Comprehensive medical, dental, and vision coverage — 100% of premiums covered for you and your dependents
Transportation
Cover parking/transit and UberX/Waymo after 8pm under $40 are free