产品
也叫：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 shares her experience using Cursor after not having used it before joining an interview. She points out that multi-model synergy, compaction acceleration, and GUI features are advantages of Cursor. She also introduces the pstack skill set and the Benny automation bot chain, emphasizing the importance of trust in automation.
入选理由：多模型协同的自然化使 Opus 和 Codex 可在同一会话内切换，提升效率。
与「pstack」经常一起出现的 AI 术语。
💡 想追踪「pstack」的长期趋势？去 实体雷达 · pstack 查看详细分析和跨材料问答。
