pstack ships meta-skill that has your agent draw statecharts, then find bugs via TLA+ formal verification
DavidKPiano · x · 2026-10-21
pstack v0.15.27 introduces /create-formal-verification-skill, a beta meta-skill that generates a new skill plus a formal verification suite tailored to the properties you want to check — e.g. modeling state machines and concurrency with TLA+, or using kani in Rust for undefined behavior.
The demonstrated workflow: ask your coding agent to draw a statechart of your system (the shared example maps a chat notification system, flagging bugs and fixed branches), then use the formal verification skill to mathematically prove invariants and surface edge-case bugs users would otherwise hit. Formal verification here means modeling your program in a spec language and running a solver against it.
More from coding & agent
- Pinekin to open-source: batch-sync conversation context across AI agent harnesses — yangyi · 2026-10-21
- CoEvo-RSI: NUS-led paper tackles brain-body mismatch in self-improving agents — Jiaqi Su · 2026-10-21
- Open-source Hermes video toolchain turns agent requests into finished MP4s — Teknium · 2026-10-21
- Zed tested 25 MCP tool search approaches, picked weighted BM25 over LLMs and embeddings — jobergum · 2026-10-21
- Argon excels as a video director, says Bindu Reddy, orchestrating SeeDance and ElevenLabs — bindureddy · 2026-10-21
- OmniGraph Open-Sourced: Git-Style Branches and Merges for AI Agent Memory — techNmak · 2026-10-21