xAI 推广 Grok Bot 使用

我最喜欢做的事情之一，就是让我们的 bot 彼此协作！只需把你的 bot 添加到 Slack，就能像队友一样与它们一起工作 🤍

最近有点安静——我在做一个新的配套技能，能帮你的智能体画出这些漂亮的状态图/图表，并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们！ 它现在还用了 @kepano 的 Pele，所以看起来才这么好看。 很快发布！

Grok Bot 工程负责人 Lauren Tan 分享一种找 bug 的工作流：先让 Agent 画出用户流程的状态图，再用 pstack 的 /create-formal-verification-skill 生成的技能通过 TLA+ 等方式做验证。她称这样既能更好理解代码和用户流程，也能修复用户原本会看到的问题；被引用的 pstack v0.15.27 更新介绍称该元技能可按需创建形式化验证套件，作者实验中已用它发现多个 bug。

grok @bot 最酷的功能之一，就是在 X 上 @ 它！

Lauren Tan 分享一套让 Agent 工作更可信任的方法，按倒金字塔分四层：代码库改进（架构、类型、边界）、静态分析（lint、测试、CI、TLA+ 等验证）、文字规则（注释、AGENTS.md、skills）和最难规模化的人工审查，精力应主要放在顶层。

注释是非结构化、无法强制执行的文本。智能体确实会读注释，但它们常常被忽略、会过时，还会给你的智能体留一条后路，让它用创可贴、hack 或变通方案来应付。 用这个提示词审计你的代码注释，找出通过更强的类型、更好的 API 设计来改进代码的机会，并创建 lint 规则，让注释变得不再必要！ https://x.com/poteto/status/2110149626133438732?s=46&t=HFNOJ7P2JmfjDfKskFwLUw

这里有一些 pstack 强力提示词，你可以试试来升级你的代码，先从这条开始（提示词在帖子底部） 重构，让你的代码对智能体更友好 https://x.com/poteto/status/2106542593656111276?s=46&t=HFNOJ7P2JmfjDfKskFwLUw

Lauren Tan 发布 pstack，这是她个人的一套用于严谨、自主 Agent 工程的技能集，会持续调优和简化。用法包括运行 /setup-pstack 选择预算、在提示词前加 /poteto-mode、用 /poteto-help 查询技能；已上架 Grok Bot 和 Cursor 插件市场，源码在 GitHub。

让 @bot 帮你做一个！

Lauren Tan 介绍自己 pstack 项目中最耐久的部分是工程原则，即约 10-20 行代码的简洁技能，把良好实践提炼进核心。