QUIET ENGINES
stash
Browse
l
Library Home
Library
p
Prompts
s
Stack
About
Privacy
Report
Toggle Sidebar
Prompts
QE-0047-A
·
—
—
—
—
-
—
—
-
—
—
T
—
—
:
—
—
:
—
—
Search…
⌘K
Owner
QUIET ENGINES
stash
Browse
l
Library Home
Library
p
Prompts
1
Counsel
2
Design
3
Dev
4
DJ
5
Image
6
Paper
7
PStack
8
suffixes
9
Worlds
Writing
s
Stack
About
Privacy
Report
Authenticate. Currently visitor
Visitor
Authenticate
index / prompts
P
S
t
a
c
k
[
0
0
2
]
Search prompts
Index
Title
Updated
Actions
001
Formally verify state machines and chart key flows
✦
↳
From lauren (@poteto) on X: https://x.com/poteto/status/2119521036660314339. Both skills are in pstack (github.com/cursor/plugins/tree/main/pstack). Pairs well with the Dev prompt 'Make implicit state machines explicit'.
Nov 12, 2026
002
Rearchitect repo to be agent friendly
↳
Oct 15, 2026
QUIET ENGINES
stash
Browse
l
Library Home
Library
p
Prompts
About
Privacy
Report
1
Counsel
2
Design
3
Dev
4
DJ
5
Image
6
Paper
7
PStack
8
suffixes
9
Worlds
Writing
s
Stack