Formal verification and AI — research and engineering from Theorem.
Founders · Product
- Founded
- 2025
- Team
- 4 people
Browser storage is unavailable. Keep this page open and export your collection before leaving.
Explore
89 businesses
Sourced product detail plus founders, customers, workflow, pricing, origins or business model.
Let your coding agent both write code and build infrastructure to run it
Founders · Product
- Founded
- 2025
- Team
- 2 people
Create and orchestrate powerful AI coding agents. Use any model, including frontier, open-weight, and locally deployed ones.
Founders · Product
- Founded
- 2024
- Team
- 2 people
Okibi generates a CLI from your product, so agents can use it fully on their own.
Founders · Product
- Founded
- 2025
- Team
- 2 people
Give every coding agent its own cloud computer. Bring your Codex or Claude subscription, start agents from Slack and Linear, and manage them from your desktop, phone, or terminal.
Founders · Product
- Founded
- 2026
- Team
- 2 people
ReJot explores distributed systems, databases, and programming languages.
Founders · Product
- Founded
- 2024
- Team
- 2 people
Give Aemon a problem and an eval. It discovers optimal solutions, often going beyond what human experts can find.
Founders · Product
- Founded
- 2025
- Team
- 3 people
Sourcebot is a self-hosted tool that helps humans and agents search, navigate, and understand complex enterprise codebases.
Founders · Product
- Founded
- 2024
- Team
- 3 people
Open-source components for React and React Native, premium templates, and agents that work inside your product. One ecosystem to bring your next product to life.
Founders · Product
- Founded
- 2023
- Team
- 5 people
Build, seed, and call twins of the services your software acts on via API, CLI, or MCP.
Founders · Product
- Founded
- 2025
- Team
- 4 people
Fastshot is a no-code mobile development platform. Our mission is to "Democratize mobile app creation with AI" Anyone can develop a mobile app from idea to App Stores within minutes just by chatting with AI. Start at…
Founders · Product
- Founded
- 2025
- Team
- 3 people
Get visibility into every backend request—full payload, latency, status, headers, logs—all in one place.
Founders · Product
- Founded
- 2024
- Team
- 2 people
AI agents map every journey in your app, test them on every pull request, and watch production. Know what broke, on which device, before you merge.
Founders · Product
- Founded
- 2026
- Team
- 2 people
Run your coding agents in one workspace. Maxxwell helps you follow their progress, coordinate their work, and focus on what needs your attention.
Founders · Product
- Founded
- 2025
- Team
- 2 people
Momentic makes Mo, the AI QA engineer. Point Mo at your app with a goal and a swarm of agents bug-bashes it the way your team would, then reports every bug with repro steps, logs, and a video replay. Notion, Whatnot, Retool, Webflow…
Founders · Product
- Founded
- 2023
- Team
- 15 people
Independent benchmarks for build-vs-buy decisions across inference APIs, web search, company data, voice agent latency, and speech models. Measured first-hand and published in full.
Founders · Product
- Founded
- 2024
- Team
- 4 people
Terracotta reviews every Terraform, Kubernetes, and Terragrunt pull request for security, cost, drift, and blast radius, and explains what it found.
Founders · Product
- Founded
- 2023
- Team
- 3 people