Token导航 LogoToken导航TokenDH.com
Panproto Toolkit logo
开发工具未说明官方级别未说明来源级核验

Panproto Toolkit

MCP Server

提供用于构建应用程序的Claude Code技能、代理、MCP服务器、项目模板和CI集成,支持模式定义、迁移、版本控制等功能。

工具数

0

提示词数

0

GitHub Stars

0

资源数

0
TypeScriptClaude开发工具Claude DesktopClaudeVS Code

安装说明

本站只整理中文说明和来源信息,不托管安装包,也不代用户安装。

作者 / 组织

panproto

提供方

panproto

最后核验

2026/5/17 20:20

快速接入

先看主来源和安装命令,再打开仓库或文档;下面只保留这个条目的关键接入事实。

详细介绍

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-clicargo 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_prettyParseEmitLens 用于往返排放
配套语法包/panproto-companion-grammar-packsspaCy风格的pip可安装语法包(0.45.0+):每个包一个 panproto-grammars 集团
类型类/panproto-typeclasses类/实例DSL主体和 class!/instance!/derive_theory! proc宏
改写/panproto-rewriting有向方程、Knuth-Bendix汇流、LPO终止、归一化
隐含论点/panproto-implicit-argumentsImplicit::Yes 标签,调用站点的Robinson统一,何时标记隐式参数
封闭式分类和案例/panproto-closed-sorts-and-caseSortClosure::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-contributingpanproto贡献者的入口:仓库设置、架构、PR工作流程

代理

代理是Claude Code可以委托的专门子流程,用于集中分析。

AgentModel它的作用
移民顾问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的新手,请按以下顺序学习技能:

  1. /panproto-getting-started 为项目搭建脚手架
  2. /panproto-define-schema 学习图式构建
  3. /panproto-build-migration 在模式版本之间迁移
  4. /panproto-use-lenses 用于双向转换
  5. /panproto-breaking-change-ci 在CI中保护您的架构

每项技能都引用了 Panproto教程 为了更深入的理解。看 docs/tutorial-map.md 为了获得完整的映射。

保持最新

此工具包是为特定的panproto版本编写的。当panproto发布新版本时:

  1. 检查 泛原型变化日志 API变更
  2. git pull 在您的panproto工具包克隆中获取更新
  3. MCP服务器版本跟踪panproto版本

要更新,请执行以下操作:

cd ~/.local/share/panproto-toolkit && git pull
npm update -g @panproto/mcp-server

许可证

麻省理工学院

目录标签

目录标签

TypeScriptClaude开发工具模式版本控制本地部署数据迁移多语言SDKCI集成ClaudeCode

支持客户端

Claude DesktopClaudeVS Code

接入字段

传输方式(transport,传输协议)

未说明

鉴权方式(authType,认证方式)

none

工具数量(toolCount,工具数)

0

资源数量(resourceCount,资源数)

0

提示词数量(promptCount,提示词数)

0

权限和风险

未说明none部署方式未说明

接入前请确认传输方式、认证方式和部署位置,并根据实际工具能力限制访问范围。

安装前确认

不要直接授予不必要的文件、网络或账号权限;先核对安装命令和配置内容。

仍需确认:installCommand

来源信息

继续浏览同类 MCP