TLA+ formal specification language for distributed systems and concurrent algorithms
TLA+ formal specification language for distributed systems and concurrent algorithms
用于分布式系统和并发算法的 TLA+ 形式化规范语言
Category: developer (开发工具) · Author: melodic-software · Version: @main · License: MIT
该 Skill 暂无文档文件。
Search for places (restaurants, cafes, etc.) via Google Places API proxy on localhost.
Interact with GitHub using the `gh` CLI. Use `gh issue`, `gh pr`, `gh run`, and `gh api` for issues, PRs, CI runs, and advanced queries.
Create or update AgentSkills. Use when designing, structuring, or packaging skills with scripts, references, and assets.
Start voice calls via the OpenClaw voice-call plugin.
Notion API for creating and managing pages, databases, and blocks.
Gemini CLI for one-shot Q&A, summaries, and generation.
Category:developer