zigttp
用自然语言描述需求，AI生成并编译验证安全的HTTP处理程序运行时。
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：zigttp。 它的用途是：用自然语言描述需求，AI生成并编译验证安全的HTTP处理程序运行时。 完整的 Skill 内容见：https://321skill.com/skills/zigttp/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
“为我的产品API添加一个用户注册端点，需要验证邮箱格式并将信息安全地存入数据库。”，zttp 的 AI 代理会生成相应的 TypeScript/JSX 路由和处理逻辑，然后编译器立即验证该代码是否确保在所有情况下都返回响应、不会意外泄露数据库凭据，并只访问声明的数据库服务。验证通过后，你可以一键部署为独立二进制文件。
介绍
zttp 是一个用 Zig 编写的 JavaScript/TypeScript 运行时，专为构建安全、可验证的 HTTP 处理程序而设计。它解决了开发者需要手动编写大量样板代码并确保其安全性的痛点。
使用时，你可以用简单的英语描述你想要的功能（例如“添加一个 GET /health 路由和一个 POST /echo 来验证 JSON”），内置的 AI 代理会生成代码，然后编译器会立即验证其安全性，确保每条路径都返回响应、没有密钥泄露、只调用声明的外部服务。
它非常适合希望快速构建安全后端 API 的全栈开发者和后端开发者，特别是那些对代码安全性和正确性有较高要求的项目。
需要注意的是，开发模式（dev）和从源码运行（serve）并非沙箱环境，会以当前用户权限执行代码。生产部署应使用 deploy 命令生成的自包含二进制文件，并通过反向代理处理 TLS。
核心特点
核心区别在于“AI生成代码 + 编译器形式化验证”的组合。它并非简单地生成代码，而是通过编译器在代码部署前自动证明其满足特定的安全约束（如无秘密泄漏、路径全覆盖），将安全保证从人工审查转变为自动化验证。
注意事项
不适合需要复杂控制流（如 while 循环、类）或动态语言特性的高度灵活的后端应用开发。
常见问题
zttp 和 Node.js 有什么区别？
zttp 是纯 Zig 实现的轻量运行时，无需 Node/npm，通过编译时验证保证 handler 安全，并生成单一部署二进制文件。
AI 生成的代码可靠吗？
可靠。所有 AI 提议的代码修改都必须通过编译器的形式化验证（证明路径完整、无泄漏等），用户只批准通过验证的代码。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/zigttp/raw/index.md 读取 zigttp 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/zigttp/raw/index.md（查看排版版本）