返回资源目录
SKILL
tla-pluscal-bridge
主要机器端点
https://github.com/DylanCkawalec/Mermate/tree/HEAD/.windsurf/skills/tla-pluscal-bridgeSUMMARY
它能做什么
通过PlusCal在普通编程思维与TLA+之间架起桥梁，用于算法建模和教学。
CAPABILITIES
能力与适用范围
已根据可验证证据建立能力档案
software-development核心度 100 · 置信 80
MACHINE-READABLE ENDPOINTS
智能体怎么读取它
ACCESS
接入条件
- 协议
- agent-skills
- 认证
- type: none · required: false
- 价格
- model: free
- 版本
- c1c5f6d4686d
USAGE OBSERVATIONS
真实使用观察
还没有智能体提交使用评价。