Principle Type System Discipline

作者 cursorccb5507cec15无许可证10K 个星标收录于 2026年10月8日更新于 2026年10月8日仓库今天更新

Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make illegal states unrepresentable, brand semantic primitives, parse external data at boundaries, refuse to lie to the compiler, exhaust variants, derive from authoritative schemas.

仅含说明Software Development

仅公开文件列表。将技能安装到工作区后即可查看文件内容。

路径大小类型
SKILL.md4.8 KBtext/markdown

来源与署名

来源：cursor/plugins位于pstack/skills/principle-type-system-discipline提交ccb5507

许可证： 无许可证

内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。

举报或申请下架

更多来自 cursor/plugins 的技能

Unslop

cursor

按照一份编号的检测与修改清单，编辑文本以去除 AI 写作痕迹。

Writing & Content10K今天更新

Setup Pstack

cursor

写入一条 Cursor 规则，按角色设置 pstack 使用的模型和推理预算。

AI & Agents10K今天更新

Thermo Nuclear Review

cursor

审查已检出分支或 PR 差异中的缺陷、破坏性变更、安全问题、开发体验回退和功能开关泄漏。

Security10K今天更新

Run Learning Retrospective

cursor

指导学习复盘，回顾进度、找出阻碍并调整学习计划。

Learning & Education10K今天更新

Ralph Loop Help

cursor

解释 Ralph Loop 插件、其迭代技术、选项、取消方式以及适用场景。

AI & Agents10K今天更新

Thermos

cursor

并行运行两个代码审查子代理，并将其发现综合为一份按优先级排序的结论。

Software Development10K今天更新

更多Software Development技能

Playground

anthropics

精选

构建自包含的交互式 HTML 演练场，包含控件、实时预览和可复制的提示词输出。

Software Development37K今天更新

M5 Onboard

anthropics

精选

通过 USB 检测 M5Stack ESP32 开发板，刷写 UIFlow 2.0 固件并安装 MicroPython 应用包。

Software Development37K今天更新

Cardputer Buddy

anthropics

精选

指导迭代 Cardputer-Adv 的 MicroPython 应用包：添加应用、通过 USB 串口推送文件、查看日志并运行 REPL 命令。

Software Development37K今天更新

Web Design Guidelines

vercel-labs

精选

依据从远程来源获取的 Web Interface Guidelines 审查 UI 代码，并以 file:line 形式报告问题。

Software Development32K5周前更新

Vercel React Native Skills

vercel-labs

精选

React Native 与 Expo 最佳实践规则，涵盖列表性能、动画、导航、UI 模式、状态与 monorepo 配置。

Software Development32K5周前更新

Vercel React Best Practices

vercel-labs

精选

Vercel 的 React 与 Next.js 性能指南，以 70 条规则的形式用于编写、审查和重构代码。

Software Development32K5周前更新