Lauren Tan's guide to using her "pstack" collection of agent skills. Shared with permission.
Original article:
https://x.com/poteto/article/2094457600259842065?lang=en
See also: "Loops you Can Trust"
https://youtu.be/N2VKc8b88HI
00:00 Introduction
01:03 Response: Agentic Coding & Proofs
02:16 Organic Architecture
02:24 Response: Verification vs Formal Proof
03:14 Response: Eiffel & Design by Contract
03:44 Part 1: Verification Is All You Need
04:18 Let's Build a Verification Skill Together
04:26 Response: Setting Up Eggbot
05:04 Response: Meta-skill
06:04 Response: Types of Verification
08:17 Make It Reproducible
09:27 Response: Talking to Skeletor Bot
09:48 Response: Plugin Architecture
11:13 Response: Web App & Command Pattern
11:47 Response: Godot & Monavo
12:25 Response: Checking Bot Output
13:49 Response: Investigating xtool
14:37 Response: Ousterhout & Tcl
16:01 Go Faster with Parallelism with Cloud Agents
16:04 Response: Worktrees & Lean Compiler
17:28 Response: No Cursor Account
19:20 Keep Agents Smart with Feature Maps
19:44 Response: Example Verification Skill
21:26 Response: Test Suite vs Feature Map
21:59 Response: To-Do List & Feature Map
22:47 Response: e.g. Pronunciation
23:24 How to Use Your Verification Skill
24:03 Example: Building New Features
24:32 Response: Working with Bot
24:40 Response: Slash Command Setup
25:22 Example: Perf Work
25:53 Example: Automatically Reproduce User Reports
26:19 Invest in Your Verification Skill
