panproto工具包
为panproto v0.45.0编写。看 保持最新 用于版本跟踪。
Claude代码技能、代理、MCP服务器、项目模板和CI集成 Panproto,原理图版本控制引擎。
这些是 面向用户 使用panproto构建应用程序的工具。
快速安装
curl -sSf https://raw.githubusercontent.com/panproto/panproto-toolkit/main/install.sh | bash这将仓库和符号链接技能/代理克隆到您的 ~/.claude/ 目录。
先决条件
- 克劳德代码 CLI或IDE扩展
- panproto命令行界面(
schema):brew install panproto/tap/panproto-cli或cargo install panproto-cli
技能
调用Claude Code中的任何技能 /panproto-.
核心工作流程
| 技能 | 命令 | 它的作用 |
|---|---|---|
| 开始 | /panproto-getting-started | 使用CLI、清单和启动器模式构建一个新的panproto项目 |
| 定义模式 | `/panproto-define-schema | |
| ` | 使用具有协议特定指导的SchemaBuilder定义模式 | |
| 构建迁移 | /panproto-build-migration | 构建迁移:态射、存在性检查、编译、提升 |
| 使用镜头 | /panproto-use-lenses | 双向镜头:取/放、互补、组合、自动生成 |
| 打破变化ci | /panproto-breaking-change-ci | 设置中断变化检测和CI门 |
| 强制法检查 | /panproto-coercion-law-checks | 基于样本的强制法声明验证,针对不诚实的Iso/Retraction声明的CI门 |
| 转换数据 | /panproto-convert-data | 在50种协议中的任何一种之间转换数据 |
| 模式vcs | /panproto-schema-vcs | 模式版本控制:提交、分支、合并、差异、数据版本控制 |
高级
| 技能 | 命令 | 它的作用 |
|---|---|---|
| 原透镜 | /panproto-protolenses | 模式参数化透镜系列、链、光学分类 |
| 场变换 | /panproto-field-transforms | 使用表达式语言进行值相关转换 |
| 表达语言 | /panproto-expression-language | ~50内置函数表达式语言参考 |
| 查询实例 | /panproto-query-instances | 使用谓词和投影查询和过滤实例 |
| 跨协议 | /panproto-cross-protocol | 跨协议翻译与损失分析 |
| 构建协议 | /panproto-build-protocol | 通过组合构建块理论定义自定义协议 |
| 全ast解析 | /panproto-full-ast-parsing | 通过树形图解析约250种编程语言; emit_pretty 和 ParseEmitLens 用于往返排放 |
| 配套语法包 | /panproto-companion-grammar-packs | spaCy风格的pip可安装语法包(0.45.0+):每个包一个 panproto-grammars 集团 |
| 类型类 | /panproto-typeclasses | 类/实例DSL主体和 class!/instance!/derive_theory! proc宏 |
| 改写 | /panproto-rewriting | 有向方程、Knuth-Bendix汇流、LPO终止、归一化 |
| 隐含论点 | /panproto-implicit-arguments | Implicit::Yes 标签,调用站点的Robinson统一,何时标记隐式参数 |
| 封闭式分类和案例 | /panproto-closed-sorts-and-case | SortClosure::Closed(ops), Term::Case,详尽的模式匹配 |
| 交互式解释器 | /panproto-repl | 快速入门 panproto-repl 交互式shell |
SDK指南
| 技能 | 命令 | 它的作用 |
|---|---|---|
| sdk字体 | /panproto-sdk-typescript | 完整的@panproto/core TypeScript SDK指南 |
| sdk python | /panproto-sdk-python | 完整的panproto Python SDK指南 |
| sdk锈 | /panproto-sdk-rust | 完整的panproto-core Rust库指南 |
CI集成
| 技能 | 命令 | 它的作用 |
|---|---|---|
| ci github操作 | /panproto-ci-github-actions | 生成GitHub Actions工作流以进行模式检查 |
| ci预承诺 | /panproto-ci-pre-commit | 设置用于模式验证的预提交挂钩 |
| ci破碎门 | /panproto-ci-breaking-gate | 阻止未确认的破坏模式更改的PR门 |
贡献
| 技能 | 命令 | 它的作用 |
|---|---|---|
| 贡献 | /panproto-contributing | panproto贡献者的入口:仓库设置、架构、PR工作流程 |
代理
代理是Claude Code可以委托的专门子流程,用于集中分析。
| Agent | Model | 它的作用 |
|---|---|---|
| 移民顾问 | Opus | 分析两个模式版本并推荐迁移策略 |
| 兼容性检查器 | Sonnet | 检查跨协议兼容性并报告翻译丢失 |
| 数据转换器 | Sonnet | 使用保真度报告在格式之间转换数据 |
| 模式审阅器 | Opus | 审查最佳实践和迁移友好性的模式定义 |
| vcs助理 | Sonnet | 指导模式VCS工作流:分支、合并、历史探索 |
MCP服务器
这 @panproto/mcp-server 该包将panproto操作暴露给任何兼容MCP的客户端(Claude Desktop、VS Code、其他AI工具)。
npm install -g @panproto/mcp-server添加到您的Claude桌面配置(~/Library/Application Support/Claude/claude_desktop_config.json 在macOS上):
{
"mcpServers": {
"panproto": {
"command": "panproto-mcp-server"
}
}
}工具 跨模式验证、迁移、差异化、镜头、数据转换、解析、表达式、理论(包括 panproto_theory_check_coercion_laws 用于0.38.0+强制法验证)和版本控制。 3资源 暴露协议/编解码器/语法目录。 3个提示模板 用于迁移规划、模式审查和兼容性分析。
看 mcp服务器/README.md 获取完整文档。
模板
快速启动的项目脚手架:
templates/ts-project/:带有@panproto/core的TypeScript项目templates/python-project/:使用panproto的Python项目templates/rust-project/:使用panproto核心的Rust项目templates/github-actions/:CI工作流模板
学习路径
如果你是panproto的新手,请按以下顺序学习技能:
/panproto-getting-started为项目搭建脚手架/panproto-define-schema学习图式构建/panproto-build-migration在模式版本之间迁移/panproto-use-lenses用于双向转换/panproto-breaking-change-ci在CI中保护您的架构
每项技能都引用了 Panproto教程 为了更深入的理解。看 docs/tutorial-map.md 为了获得完整的映射。
保持最新
此工具包是为特定的panproto版本编写的。当panproto发布新版本时:
- 检查 泛原型变化日志 API变更
- 跑
git pull在您的panproto工具包克隆中获取更新 - MCP服务器版本跟踪panproto版本
要更新,请执行以下操作:
cd ~/.local/share/panproto-toolkit && git pull
npm update -g @panproto/mcp-server许可证
麻省理工学院
