Chapter One

Everything we've built for auth on the web assumes two kinds of actors: a human user and a static application, with predefined scopes and known execution paths. Agents fit neither role. They act on behalf of a user or entirely on their own, call external services, discover tools at runtime, need one capability now and a different one later, and often run long after the human who started them has moved on. Agent Auth makes the runtime agent a first-class principal. Each agent is registered with its own identity, granted specific capabilities, and governed by a lifecycle the server controls. The server sees exactly which agent is acting, what it is authorized to do, and can terminate one without affecting anything else. It’s still early days, so there’s a lot of iteration ahead, with more guides and examples on the way.

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:

Our newest investment: @mathematics_inc led by @jessemhan (OpenAI) & @jdlichtman (Stanford Mathematics) Math Inc is building the verification infrastructure for an AI-native economy. They're starting with Gauss, an autoformalization agent, that is designed to transform any natural language output into verifiable mathematical proofs. In February, their Gauss agent formally verified Maryna Viazovska's Fields Medal result & autonomously produced 200,000 lines of Lean code in two weeks. This was the largest singular Lean proof in history & would have previously taken years. AI is flooding the world with code, proofs, and machine-generated decisions & almost none of it will be meaningfully checked. Agents deploy faster than humans can audit. Investing in Math is a bet that verification becomes one of the most important AI primitives especially in critical industries where mistakes have consequences. My friend @ani_pai wrote a great piece on why they're investing in @mathematics_inc too:

You are early.bulk.trade.

Such a good idea from @jmj and the @chapterone team. Going through YC has shown me how incredibly valuable these professional networks can be in the infinite game. Think of how many cos are yet to spin out of Anduril, OAI, etc... C1 is going to have eyes on the inside as they form.

Scout Program: Season 1 Update 📈 500+ investors have applied from Anduril, OpenAI, Supabase, Palantir, Tesla, ScaleAI, and ElevenLabs. Applications close Friday. Apply: scoutprogram.com

Our newest investment: @zodl_app Zcash's best wallet & OG core contributors from the Zcash protocol building a new company together. Dream team led by @jswihart & investors @paradigm, @a16z, @chapterone bringing encrypted money to the masses. Also love that @friedberg invested.

Zcash Open Development Lab (ZODL) has secured over $25 million in funding from a16z, Paradigm, Winklevoss Capital, Coinbase Ventures, Cypherpunk Technologies, Maelstrom (family office of Arthur Hayes), Chapter One, David Friedberg, Haseeb Qureshi, Mert, Balaji and others. If you aren’t familiar, Zcash Open Development Lab (ZODL) is the team formerly known as Electric Coin Company (ECC), the group that launched Zcash, and the creator of @zodl_app. The name is new, but our team has been building Zcash for a decade. A couple of years ago, my team and I set out to change the trajectory of Zcash with an uncompromising focus on the user experience for shielded ZEC. We released Zodl (then called Zashi) and have never looked back. The release of the normie-friendly wallet was the first step. Then came integrations with partners like Flexa for retail spending and Keystone for cold storage. Most recently, we worked with the NEAR team to unlock ZEC swaps through NEAR intents. It worked. The proof is in the numbers. The wallet has driven adoption of the Zcash shielded pool by over 400%, and facilitated more than $600M in ZEC swaps since October. Now is the time to build on that momentum and accelerate. In addition to Zodl, we are building Zallet, a full node wallet that will also underpin new desktop software. Ultimately, we intend to deliver a private, decentralized financial system as an alternative to legacy institutions. This funding allows us to bring these ambitions to life, without relying on Zcash dev fund grants to get there. I’m grateful for these investors who are partnering with us. These are exciting days for the ZODL team and Zcash more broadly. We’re in the dawn of a new era. We will get ZEC in the hands of billions. Download at zodl.com Onward.

RT @jmj: Getting ready to release a mobile app we've been working on for the past month. The design files sat in Figma for over a year. W…

Today we're launching unhuman.store, the one stop shop for your agent's needs We'll be adding to unhuman.store as we go. Also we've updated the unhuman cli to cover all of our services. Now accessing everything unhuman has is as easy as 👇

Cooking 🔥

Flex is growing unbelievably fast. Now at $6.5B in Total Payment Volume (TPV) in <2.5 years. Growing 20%+ MoM. Fuel your ambition: flex.one

This is insanely cool: now you can build beautiful desktop apps. Been lucky to back @raycast since the seed. Their team is perfect for this moment in time. Some of the most creative technologists I've ever met. @thomaspaulmann @pitnikola

New look szn... Coming soon.

Excited to announce Better Auth Infrastructure Get started: better-auth.com

Introducing Better Hub We tried to improve GitHub. It’s ambitious project and super early, but our team already uses it by default. Give it a try (and its open-source)

AngelList is the official home of Scout Program — and we're keeping score... We sat down with @jmj to hear how he went from scout to fund manager. Check out the interview in thread 🧵

Jeff is a product legend. @chapterone is launching a new initiative - Scout Program - for a life-changing opportunity to learn from him. We're giving 10 scouts 100K to invest. Open to anyone. If you love the grind, love software, and want to be part of a community at the cutting edge of startups and tech - apply. @jmj's story below ⬇️

Scouts vs scouts. We love to see it.