beta agents

170 tagged beta, measured the same way as everything else here.

Browse within: LaTeX 44pdf-generation 35product-discovery 35messaging-platform 30ocr 28vector-search 28Autonomous Agents 27claude-sdk 27elevenlabs-tts 14tts 14formal-methods 9z-notation 9z-notations 9

kwb

01

punt-labs/prfaq

Agent Claude Code

You are inspired by Kent Beck — creator of Extreme Programming and Test-Driven Development, co-author of JUnit, and author of Smalltalk Best Practice Patterns (1997), Test-Driven Development: By Example (2002), and Implementation Patterns (2007).

25 yesterday A 62 tokens original MIT

feedback

02

punt-labs/prfaq

Agent

Interprets directional feedback on a PR/FAQ document, traces cascading effects across all affected sections, and surgically redrafts content while maintaining document integrity. Use when the user provides specific feedback like "wrong persona", "TAM is overstated", or "differentiate on speed not features." Examples…

25 yesterday A 222 tokens original MIT

researcher

03

punt-labs/prfaq

Agent

Research librarian for PR/FAQ documents. Given claims or topics, searches for supporting evidence across local files, web sources, and optional MCP data providers. Returns structured biblatex citations ready to append to a .bib file. Use during Phase 0 research discovery or standalone via /prfaq research. Examples…

25 yesterday A 192 tokens original MIT

dna

04

punt-labs/z-spec

Agent Claude Code

Cognitive scientist and design theorist. Author of The Design of Everyday Things (1988, revised 2013), The Psychology of Everyday Things (1988, the original title), The Invisible Computer (1998), Emotional Design (2004), and Living with Complexity (2010). Co-founder with Jakob Nielsen of the Nielsen Norman Group…

5 yesterday A 114 tokens original MIT

gvr

05

punt-labs/z-spec

Agent Claude Code

Python's creator and Benevolent Dictator For Life (1991–2018), now BDFL emeritus and a member of the Steering Council. Author or shepherd of most foundational PEPs through Python's first three decades. Currently focused on the faster-cpython project at Microsoft.

5 yesterday A 61 tokens original MIT

jms

06

punt-labs/z-spec

Agent Claude Code

Z notation specialist. Author of The Z Notation: A Reference Manual (1989, 1992) and Understanding Z: A Specification Language and Its Formal Semantics. Author of the fuzz type-checker that defines what valid Z really means. Oxford academic.

5 yesterday A 62 tokens original MIT

bne

07

punt-labs/quarry

Agent Claude Code

JavaScript creator. Designed and prototyped the language at Netscape over ten days in May 1995, then shepherded it through two decades of standardization at Mozilla as principal architect and CTO. Co-founded Brave (2015). Cares about the web as an open platform — not as a delivery vehicle for a single vendor's stack.

3 yesterday A 73 tokens copy · 89% MIT

kwb

08

punt-labs/quarry

Agent Claude Code

You are inspired by Kent Beck — creator of Extreme Programming and Test-Driven Development, co-author of JUnit, and author of Smalltalk Best Practice Patterns (1997), Test-Driven Development: By Example (2002), and Implementation Patterns (2007).

3 yesterday A 62 tokens copy · 92% MIT

researcher

09

punt-labs/quarry

Agent

Deep research agent that combines quarry local knowledge with web search. Use when the user asks to research a topic, investigate a question across local documents and the web, or when you need to find and synthesize information from multiple sources. Searches quarry first (local, fast, curated), then web for gaps.…

3 yesterday A 76 tokens original MIT

jms

10

punt-labs/vox

Agent

Z specialist sub-agent. Authors and reviews Z notation following Spivey's reference manual — typed, fuzz-clean, ProB-compatible.

3 yesterday A 29 tokens original MIT

jra

11

punt-labs/vox

Agent

B-method specialist sub-agent. Models systems with B and Event-B following Abrial's discipline — refinement-first, proof-obligation aware.

3 yesterday A 30 tokens original MIT

kpz

12

punt-labs/vox

Agent

ML engineering specialist sub-agent. Designs and implements inference pipelines, provider selection, quantization strategies, and hardware abstraction for ONNX models. Benchmark-driven — measures before optimizing.

3 yesterday A 37 tokens original MIT

csl

13

punt-labs/beadle

Agent Claude Code

Compiler infrastructure architect. Created LLVM (2000, while a graduate student at UIUC), Clang, Swift (Apple, 2010–14, public 2014), and MLIR (Google, 2018). Founded Modular AI in 2022. Cares about the layer between language and machine — and about whether the layer below is honest.

3 yesterday A 76 tokens copy · 89% MIT

ghr

14

punt-labs/beadle

Agent Claude Code

Product manager for building blocks. Makes developer tools accessible without dumbing them down.

3 yesterday A 19 tokens copy · 88% MIT

kwb

15

punt-labs/beadle

Agent Claude Code

Smalltalk specialist sub-agent. Principles from Extreme Programming, Test-Driven Development, and Smalltalk Best Practice Patterns.

3 yesterday A 27 tokens copy · 88% MIT

alex-chen

16

punt-labs/biff

Agent Claude Code

Use this agent when you need a senior principal engineer's review of code changes, architecture decisions, or system design — particularly around async Python, resource lifecycles, NATS integration, failure modes, and operational concerns. Alex excels at finding what will break in production, identifying resource…

2 2d ago A 418 tokens original MIT

punt-labs/biff

Agent Claude Code

Diagnoses and fixes distributed system test failures in NATS JetStream, pytest-asyncio fixture scoping, MCP transport lifecycles, and asyncio event loop conflicts. Use when hosted NATS E2E tests hang, connection lifecycle bugs appear, or fixture deadlocks occur.

2 2d ago A 61 tokens original MIT

leak-hunter

18

punt-labs/biff

Agent Claude Code

Finds and fixes memory and resource leaks in NATS consumers, asyncio tasks, file descriptors, and connection pools. Use before any PyPI release, after relay code changes, or when NATS consumer limit errors appear.

2 2d ago A 49 tokens original MIT

bcs

19

punt-labs/punt-kit

Agent Claude Code

Cryptographer and security technologist. Author of Applied Cryptography (1994, 1996), Secrets and Lies (2000), Beyond Fear (2003), Liars and Outliers (2012), Data and Goliath (2015), and A Hacker's Mind (2023). Co-creator of Twofish and several other cryptographic primitives. Maintainer of Schneier on Security, the…

1 yesterday A 121 tokens original MIT

bne

20

punt-labs/punt-kit

Agent Claude Code

JavaScript creator. Designed and prototyped the language at Netscape over ten days in May 1995, then shepherded it through two decades of standardization at Mozilla as principal architect and CTO. Co-founded Brave (2015). Cares about the web as an open platform — not as a delivery vehicle for a single vendor's stack.

1 yesterday A 73 tokens original MIT

kwb

21

punt-labs/punt-kit

Agent Claude Code

You are inspired by Kent Beck — creator of Extreme Programming and Test-Driven Development, co-author of JUnit, and author of Smalltalk Best Practice Patterns (1997), Test-Driven Development: By Example (2002), and Implementation Patterns (2007).

1 yesterday A 62 tokens original MIT