the /statechart skill in pstack v0.15.36 is now stable and ready for use! it's best…
This is a dev post classified by AGK Intelligence as AI dev tools (a launch), kept by the Dev Radar because it carries real work, not commentary.
the /statechart skill in pstack v0.15.36 is now stable and ready for use! it's best combined with /create-formal-verification-skill to abstractly model state machines and distributed systems to find bugs. the skill contains a mini tlc compiler that parses, lowers to a small IR, and has a backend that outputs mmd syntax. if you want you can also ask your agent to create charts in whatever style you like, the skills tells it to use https://pele.run/ which is very themeable so you can make blueprints, hand drawn encyclopedia illustrations or whatever you like here's a chart of the /statechart s
Posted by lauren (242.2k followers) 1 days ago · 6.5k likes · 327.8k views · view the original post on X. Kept by the Dev Radar as AI dev tools. Tools mentioned: Pele.
More dev work like this
- 🎃Dario给中国人民带来的极致恐怖从Claude无情封号开始 — @NFT_Chen
- Mia's Qwen3.8-Flash-Next recipe on a DGX Spark: one command, first try, 2 min to the… — @niklaslenz_ai
- 给AI喂一整仓，最烦的就是它每回都从头翻文件，这毛病你多半也遇到过。 — @bkdgiffug
- Coding agents aren't slow because they're dumb. They're slow because every edit waits on… — @RunAnywhereAI
- ICYMI: Foursquare co-founder @dens sat down with our Head of Product, AI, Jeff Smith at… — @automattic
- 🤯惊了！9B参数大模型，只需16G内存即可本地跑通，能力反超Qwen3.5-27B！ — @NFT_Chen
- Introducing JetSpec++: we find causal parallel drafting paired with hidden states… — @haoailab
- Build the agent, test the agent, grade the results, change the agent, run the test cases… — @rseroter
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.