Vora
ABOUT VORA ↓ Vora builds Aegis, a personal AI appliance that runs on hardware you own, with no required subscription. Aegis gathers your photos, mail, files and memories into one private place, organised by an AI that answers only to you: privacy proved by encryption rather than policy, integrity proved by an open, auditable stack […]
Lurk Lab
ABOUT LURK LAB ↓ Lurk Lab is building a verifiable foundation for AI production: a stack for AI agents to compute privately, act under explicit authority, and produce work others can independently verify. The work begins with Lurk, a general-purpose language for verifiable computation whose program execution can be proved in zero knowledge. MORE INFO […]
Sequent
ABOUT SEQUENT ↓ Sequent is verification infrastructure for the agentic age. AI writes code fast; formal verification proves it does what it should. Sequent builds Alan, a prover agent that reads your code, drafts a formal specification with you, and produces machine-checked, unbounded, replayable proofs that the code does what the spec says, for every […]
Masterpiece Labs
ABOUT MASTERPIECE LABS ↓ Masterpiece Labs (YC P26) is building the credit layer for the AI data economy. It provides short-duration, invoice-backed financing to AI data vendors selling training data, evaluations and RL environments to frontier AI labs, underwriting the vendor, buyer, data quality and receivable to advance capital in days rather than the 30–90 […]
Naytive
ABOUT NAYTIVE ↓ Naytive combines global banking rails (stablecoin) with AI-native legal infrastructure into one platform, letting international founders incorporate locally, access global USD rails, and stay compliant as they move between jurisdictions. MORE INFO ↓ X: https://x.com/NaytiveHQ LinkedIn: https://www.linkedin.com/company/naytive Instagram: https://www.instagram.com/naytivehq/ App Store: https://apps.apple.com/app/naytive/id6814796609 Website: https://naytive.com/
When AI Can Do Everything, The Only Thing Worth Building Is Control
When AI Can Do Everything, The Only Thing Worth Building Is Control
Why We Backed Fireplace: The Interface Layer for Prediction Markets
Fireplace is a trading interface for prediction markets, built on top of underlying liquidity and settlement venues such as Polymarket. It provides traders with a unified terminal offering real-time data, advanced execution, discovery across markets, social signal surfaces such as leaderboards and wallet tracking.
Thesis: Why AI agents will use crypto rails
As AI agents become default operators of the economy, crypto becomes the settlement substrate that allows them to transact, coordinate and prove what they did across an open ecosystem.
Why We Backed Lys Labs: The Intelligence Layer for AI Agents
At Frachtis, we believe the next major actors in crypto won’t be people, they’ll be machines. These autonomous programs will trade, govern, and execute strategies on-chain, running continuously and making split-second decisions. To succeed, they require something that doesn’t yet exist at scale: ultra-fast, machine-readable blockchain intelligence. If an AI trading agent reacts even a […]
Index Network
ABOUT INDEX ↓ Index Network is the social layer between personal agents. Instead of searching or posting, you tell your agent what you are interested in and working on; Index gives personal agents a coordination protocol to socialise their humans’ intents, negotiate with other agents in parallel, and surface the right people and opportunities when […]