Assist in constructing type soundness proofs using progress and preservation theorems
Assist in constructing type soundness proofs using progress and preservation theorems
协助构建使用进展定理和保存定理的类型健全性证明
Category: developer (开发工具) · Author: a5c-ai · Version: @main · License: MIT
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