Formal Methods

使用 `gh` CLI 与 GitHub 交互，通过 `gh issue`、`gh pr`、`gh run` 和 `gh api` 管理议题、PR、CI 运行及高级查询。

AI驱动平台，提供快速全栈开发、智能体、工作流自动化及低代码AI集成的可扩展产品创建。

Multi search engine integration with 16 engines (7 CN + 9 Global). Supports advanced search operators, time filters, site search, privacy engines, and Wolfra...

使用 mcporter CLI 直接列出、配置、认证及调用 MCP 服务器/工具（支持 HTTP 或 stdio），涵盖临时服务器、配置编辑及 CLI/类型生成功能。

使用托管OAuth集成YouTube Data API，支持搜索视频、管理播放列表、获取频道数据及评论互动，适用于用户需要时使用此技能。

核心 Docker 命令和工作流程，包括容器管理、镜像操作和调试。

从 GitHub、文档网站和 Stack Overflow 搜索代码片段与文档，获取准确的语法和用法示例。

Git 关键命令和工作流，涵盖版本控制、分支和协作。

使用 pdflatex、xelatex 或 lualatex 将 LaTeX 文档编译为 PDF，支持模板。

通过获取 LaTeX 源码、列出章节或提取摘要来阅读和分析 arXiv 论文

浏览热门论文，通过关键词搜索，并从 Hugging Face Papers 获取论文详情。