slop-plugin
用于Claude Code的SLOP语言插件，实现人机协作的符号化编程。
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：slop-plugin。 它的用途是：用于Claude Code的SLOP语言插件，实现人机协作的符号化编程。 完整的 Skill 内容见：https://321skill.com/skills/slop-plugin/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
“我需要一个函数，将输入的温度值限制在-50到150度之间，并确保它是整数。”，它会生成一个带有`@pre`、`@post`契约和`(Int -50 .. 150)`范围类型的SLOP函数定义，并最终提供等价的、经过边界检查的C代码。
介绍
SLOP Plugin 解决了在混合人机协作编程中，意图传达不准确和代码生成质量不稳定的问题。它引入了一种名为SLOP（Symbolic LLM-Optimized Programming）的专用语言，让开发者通过契约、类型和示例来精确声明意图，而由AI负责生成具体的实现代码并最终编译为高效的C语言。
使用方式非常直接。安装插件后，你可以在Claude Code中直接要求Claude生成SLOP代码。你可以描述函数的功能、输入输出约束和边界条件，Claude会为你生成带有强类型检查和契约验证的SLOP代码框架，甚至可以直接生成最终的C语言实现。
这个技能特别适合那些对代码正确性、性能和可维护性有高要求的开发者，尤其是在开发系统级软件、嵌入式程序或对安全性敏感的模块时。它通过形式化的契约将人类的高层意图与机器的精确执行桥接起来。
建议在使用时，先从定义清晰的函数契约和类型开始，充分利用SLOP的@intent、@spec、@pre、@post等注解来约束AI的生成范围。对于复杂的逻辑，可以先让AI生成带有“类型化空洞”的代码骨架，再进行迭代填充，这样可以更好地控制生成过程。
核心特点
与普通代码生成技能不同，SLOP Plugin强制要求开发者先定义严格的类型契约和意图声明，将AI的代码生成约束在形式化验证的框架内，从根源上减少逻辑错误和边界漏洞。其独特的范围类型（如`(Int 0 .. 100)`）能在编译时而非运行时捕获越界错误。
注意事项
不适合需要快速原型验证、对开发速度要求极高或项目本身逻辑非常简单的场景。
常见问题
SLOP和普通的Lisp或C语言有什么区别？
SLOP是专为LLM优化设计的桥梁语言，核心是用契约和类型指导AI生成，再自动转译成C，兼顾了人类可读的意图表达和机器的高效执行。
使用这个插件需要先学习SLOP语言吗？
不需要完全掌握，你可以用自然语言描述需求，Claude会帮你生成SLOP代码。了解其基本概念（如契约、范围类型）有助于你提出更精准的需求。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/slop-plugin/raw/index.md 读取 slop-plugin 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/slop-plugin/raw/index.md（查看排版版本）