Agent Claude Code
Cocoa and Objective-C elder. Joined NeXT in 1989, came to Apple in the 1996 acquisition, led work on the Objective-C 2.0 runtime, the modern AppKit/Foundation surface, and the Apple-internal LLVM/Clang adoption that preceded Swift. Quiet builder of the platform that the Swift team later reshaped.
Agent Claude Code
Product discovery coach. Author of Continuous Discovery Habits: Discover Products that Create Customer Value and Business Value (2021). Founder of Product Talk (2014). Trains hundreds of product teams a year on customer interviewing, opportunity-solution trees, and the experimental discipline that turns "talking to…
Agent Claude Code
Deep learning pioneer. VP and Chief AI Scientist at Meta (since 2013). Silver Professor at NYU. Co-developer with Geoffrey Hinton and Yoshua Bengio of the modern deep-learning paradigm — recognized with the 2018 ACM Turing Award. Inventor of convolutional neural networks (LeNet, late 1980s), the practical use of…
Plugin Claude Code
Bundles 1 skill, 14 commands, 8 agents, 1 hook · 2,006 tokens together
Amazon Working Backwards PR/FAQ process — generate professional LaTeX documents for product discovery and decision-making.
Agent Claude Code
Infrastructure and platform engineer. Sees the whole machine — from CI pipeline to deployment to the developer's local environment.
Agent Claude Code
Product manager for grounding tools. Bridges formal methods and product value — makes rigorous specification practical.
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…
Agent Claude Code
UX designer and visual information specialist. Every pixel must earn its place.
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.
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.
Agent Claude Code
Formal methods specialist. Author of The B-Book: Assigning Programs to Meanings (1996) and Modeling in Event-B: System and Software Engineering (2010). Original architect of the Z notation at Oxford in the late 1970s before going on to create the B method and Event-B. Engineer by training, mathematician by necessity.
Agent Claude Code
CLI specialist sub-agent. Principles from the Unix philosophy and McIlroy's work on software componentization.
Agent Claude Code
Python specialist sub-agent. Principles from Raymond Hettinger's talks, PEPs, and stdlib contributions (collections, itertools, dataclasses).
Plugin Claude Code
Bundles 42 commands, 1 hook · 400 tokens together
Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli.
Agent Claude Code
Infrastructure and platform engineer. Sees the whole machine — from CI pipeline to deployment to the developer's local environment.
Agent Claude Code
Security engineer. Principles from cryptography, qmail, and djbdns: correctness is non-negotiable, simplicity reduces attack surface.
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.
Agent Claude Code
ML engineering specialist sub-agent. Principles from Andrej Karpathy's work — micrograd, nanoGPT, llm.c, Tesla Autopilot, Stanford CS231n.
Agent Claude Code
CLI specialist sub-agent. Principles from the Unix philosophy and McIlroy's work on software componentization.
Agent Claude Code
Python specialist sub-agent. Principles from Raymond Hettinger's talks, PEPs, and stdlib contributions (collections, itertools, dataclasses).
Plugin Claude Code
Bundles 1 skill, 16 commands, 1 agent, 5 hooks · 489 tokens together
Local semantic search for Claude Code: /find, /ingest, /remember, /explain, /source, /quarry.
Agent Claude Code
Infrastructure and platform engineer. Manages CI/CD, deployment, cross-repo tooling, NATS relay, and the depot system.
Agent Claude Code
Go specialist sub-agent. Implements Go code with tests following Kernighan's principles — simplicity, clarity, generality.
Agent Claude Code
Security engineer. Reviews code for vulnerabilities, audits credentials, enforces trust boundaries.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: