Featured
Cypress Battery
A domestic battery backup unit (BBU) assembly built for the high-power discharge AI data centers need at the rack level. As racks demand more power density, the integrators tuned for that should beat the incumbents built for steady-state.
PathOn Robotics
Robotics tackling turnkey automation for restaurants and factories. Its hardware-agnostic training, vision, and sensor stack powers food assembly, factory logistics, mobile navigation, and service robots across multiple form factors.
genproof.ai
GenProof
An agent for proving correctness of code via the Isabelle prover to generate mathematical proofs over every execution path. The bottleneck in software is shifting from generation to verification and tooling that closes the gap becomes infrastructure.
Assured
Agentic AI for healthcare provider credentialing, automating the verification workflow gating new healthcare workers' ability to practice. It takes on one of healthcare's oldest back-office bottlenecks as healthcare workers are practicing across more states, startups, and virtual venues.
Healthcare
- Acorn Genetics | Genetic testing at scale
- Apero | Operating system for medical practices
- Folia | Patient-reported health data tracking
Fintech & Crypto
- Definitive | Institutional-grade trading for retail
- Ember | Crypto's first wallet for retail
Funds
- South Park Commons | Tech community for ambitious -1-to-0 founders
- Seven Hill Ventures | Michael Coates' fund backing cybersecurity founders
- Sweet Spot Capital | Allen Gannett’s pre-seed venture fund
Other
- Swiftlane | Digital access control for buildings
- VGroup Ventures | Toronto poker room operator building gaming technology
- Proof Positive Partners | Hospitality group building bars and restaurants in SF