★ 0 · 更新于 2026-09-16
说明 Turso 的协作式异步 I/O 模式、状态机、辅助宏及重入陷阱。
浏览带有该标签的技能列表。
★ 0 · 更新于 2026-09-16
说明 Turso 的协作式异步 I/O 模式、状态机、辅助宏及重入陷阱。
★ 5 · 更新于 2026-09-14
通过可配置的标签状态机分类处理 GitHub Issue，在工作流状态间流转 Issue 并为维护者或 Agent 准备任务。
★ 9 · 更新于 2026-09-13
审计 Go 连接状态机、重连行为、故障恢复、平滑关闭与运维诊断。
★ 15 · 更新于 2026-09-13
通过基于标签的可配置状态机对 GitHub Issue 进行分类和分流，管理工作流状态。
★ 0 · 更新于 2026-09-11
使用结构化 JSON 记录与无障碍 HTML 仪表板追踪代码变更，支持状态机约束与 AI 会话无缝接续。
★ 2 · 更新于 2026-09-11
通过结构化JSON记录、状态机约束、HTML输出与会话接替跟踪代码变更。
★ 602 · 更新于 2026-09-09
安装适用于 Claude Code 的全局 Hook，用于约束状态转换、Git 规范、结果追踪及会话检查点。
★ 778 · 更新于 2026-06-15
针对超过10秒操作的标准异步状态机模板
★ 602 · 更新于 2026-03-23
应用Leslie Lamport的形式化方法设计具有可证明正确性的分布式系统
★ 1 · 更新于 2026-03-22
通过检查设置、断言和比较器来验证测试是否真正证明了其声称的不变量
★ 3 · 更新于 2026-02-13
定义端到端用户体验行为和交互逻辑以实现实现
★ 0 · 更新于 2026-02-13
专业设计状态机和事务流，专注于预订生命周期和状态一致性。