产品
也叫：cursor/plugins
Cursor插件工具
最近变化
2026-10-19 · pstack 0.15.27 版本新增元技能，可自动生成 TLA+/Kani 验证套件
pstack 被反复提及时，通常意味着它正在影响产品路线、开发者工作流或 AI 产业判断。这个页面把分散材料合并成一个可持续更新的观察入口。
pstack 新增了一个 skill /create-formal-verification-skill 定位是 meta-skill：不直接帮你做形式化验证，而根据你想验证的系统特性，自动生成一个...
meng shao(@shao__meng) · 8.5 分
斯坦福大学「AI 原生软件开发」第三周课程已公开 @mihail_eric 教授的「CS146S: The Modern Software Developer」已经进行到了第三周，主题是： Agen...
meng shao(@shao__meng) · 8.5 分
原本是重度 Claude Code 用户，在加入 Cursor 面试前从未用过 Cursor，这就是 @poteto，一起看看她是怎么使用 Cursor 的？ lauren 认为：作为开发者，我们...
meng shao(@shao__meng) · 8.5 分
已收录 3 篇与「pstack」相关的 AI 资讯和分析。
pstack 新增的 /create-formal-verification-skill 元技能可根据系统特性自动生成定制验证方案，结合形式化验证与LLM技术提升软件正确性。
入选理由：pstack 0.15.27 版本新增元技能，可自动生成 TLA+/Kani 验证套件
斯坦福AI原生软件开发课程第三周公开，系统讲解Agent技能构建方法论与CLI实践，包含具体工具和编写规范。
入选理由：Skill编写需遵循单职责原则并保持可移植性
Lauren 分享了她在加入 Cursor 面试前从未使用过的体验，指出多模型协同、Compaction 加速和 GUI 功能是 Cursor 的优势。她还介绍了 pstack 技能集和 Benny 自动化 bot 链，强调了信任在自动化中的重要性。
入选理由：多模型协同的自然化使 Opus 和 Codex 可在同一会话内切换，提升效率。
与「pstack」经常一起出现的 AI 术语。
💡 想追踪「pstack」的长期趋势？去 实体雷达 · pstack 查看详细分析和跨材料问答。
