展示 HN:TLA+ 工作台技能,用于编码代理(兼容 Vercel skills CLI)
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)

原始链接: https://github.com/younes-io/agent-skills/tree/main/skills/tlaplus-workbench

本文概述了 GitHub 的特性和资源,GitHub 是一个用于软件开发和版本控制的平台。GitHub 为开发生命周期的每个阶段提供工具,包括**代码创建**(借助 Copilot & Spark 等人工智能辅助)、**开发者工作流**自动化(Actions、Codespaces)和**应用程序安全**(Advanced Security)。 它服务于各种用户——从**企业**到**初创公司**——并支持 DevOps、CI/CD 和应用程序现代化等各种**用例**,涵盖医疗保健和金融等行业。 除了核心开发之外,GitHub 还通过开源项目、赞助和学习资源(文档、博客、活动)培养强大的**社区**。它还提供**支持与服务**,包括高级支持选项,并提供具有增强安全性和人工智能功能的附加组件的企业级解决方案。最后,它包含标准网站元素,如服务条款、隐私政策和反馈机制。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 展示 HN: TLA+ 工作台技能,用于编码代理(兼容 Vercel skills CLI)(github.com/younes-io) 10 分,by youio 3 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 youio 3 小时前 [–] 我构建了一个 TLA+ 技能,用于编码代理工作流。这个仓库目前专注于一个技能:tlaplus-workbench。它可以帮助将自然语言设计转换为 .tla/.cfg 文件,运行 TLC,并总结反例。 快速尝试: npx -y skills add younes-io/agent-skills --skill tlaplus-workbench 列出本地检出技能: npx -y skills add . --list TLA+ 规范示例(由单次提示生成): https://github.com/younes-io/tlaplus-workbench-examples 我希望获得的反馈: 1. 这对于实际的协议/状态机建模是否有用? 2. 我下一步应该为这个 TLA+ 技能添加哪些功能? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:
相关文章

原文
Skip to content
联系我们 contact @ memedata.com