论证验证器技能用于分析和评估非正式论证，通过提取逻辑结构、识别隐藏假设、检查逻辑有效性、可选的Lean形式化，并研究前提证据支持，帮助用户验证论证的合理性和可靠性。关键词：论证验证、逻辑分析、形式化、Lean、前提支持、AI智能体。

CCG编排技能是一个AI模型协同工作模式，通过Claude作为编排器，将后端任务分发给Codex，前端任务分发给Gemini，并行处理并合成结果，用于软件开发和AI辅助任务。关键词：AI编排、多模型协同、软件开发、前后端集成、智能体系统。

本技能提供Google Gemini API的全面指南，涵盖从安装配置、模型选择到高级功能如多模态输入、函数调用、错误处理等，适用于开发者集成AI功能到应用中。关键词：Gemini API, AI开发, 多模态AI, 函数调用, 错误调试, SDK迁移, 文本生成, 流式处理

Gemini 网络搜索技能是一个高级信息检索工具，它通过调用 gemini 命令执行深度网络搜索，专门用于回答复杂问题、获取最新资讯和进行详细研究。其核心功能包括智能查询解析、多源信息整合与溯源。关键词：Gemini搜索，高级网络搜索，信息检索，复杂查询，网络爬虫，AI搜索工具，数据收集，信息整合。

上下文工程是一种关键技术，专注于优化人工智能智能体系统中的上下文管理，以提高推理效率并降低计算成本。它涉及上下文基础、优化技术、压缩策略、记忆系统和多智能体协调，适用于AI应用开发、大模型微调和RAG应用。关键词：上下文工程、AI智能体、令牌优化、LLM、多智能体系统、记忆管理。

这个技能提供了使用verl库进行大型语言模型强化学习训练的全面指导，包括RLHF、GRPO、PPO等多种算法，支持分布式训练、多后端切换，适用于数学推理、视觉语言模型等场景。关键词：verl, 强化学习, LLM, RLHF, GRPO, PPO, 分布式训练, 大模型微调。

高级提示工程师技能专注于利用先进提示工程技术优化大型语言模型（LLM），涵盖提示模式设计、RAG应用、代理系统开发等，助力AI产品构建和性能提升。关键词：提示工程、LLM优化、AI应用、RAG、代理设计、AI产品开发。

这个技能通过中央注册表实现动态MCP服务器发现和代码模式执行，用于多MCP集成、工具发现和渐进披露，帮助AI代理扩展功能。关键词包括MCP、动态工具发现、代码模式、中央注册表、工具发现。

cutlass-triton是一个专门用于生成优化GPU内核的技能，使用CUTLASS和Triton实现高性能计算。

RAG查询转换技能是一个专注于提升检索增强生成（RAG）系统检索效果的工具集。它通过查询扩展、假设文档嵌入（HyDE）、多查询生成、查询分解和逐步回溯提示等核心技术，对用户原始查询进行智能转换和优化，从而从知识库中检索出更相关、更全面的信息片段，为大模型生成高质量答案奠定基础。 关键词：RAG查询转换，检索增强生成，查询扩展，HyDE假设文档嵌入，多查询生成，查询分解，逐步回溯提示，AI问答优化，知识库检索，大模型应用

ClawHub CLI 是一个用于管理和分发 AI 智能体技能的命令行工具。它允许开发者从中央仓库搜索、安装、更新和发布可复用的技能模块，是构建和扩展 AI 智能体（Agent）生态系统的关键工具。核心功能包括技能市场搜索、版本管理、一键安装和发布工作流，极大地简化了 AI 应用的模块化开发和技能共享。关键词：AI智能体，技能管理，CLI工具，模块化开发，技能市场，版本控制，开源工具，Agent技能，开发工具。

概率分析工具包是用于分析随机化算法的专业工具，提供基于概率论和集中不等式的数学分析框架。该工具包支持期望值计算、切尔诺夫界、霍夫丁界、马尔可夫不等式、切比雪夫不等式等关键概率工具的应用，帮助算法工程师和研究人员评估随机算法的性能保证、失败概率和收敛速度。适用于算法复杂度分析、机器学习理论、密码学、分布式系统等需要严格概率保证的领域。 关键词：随机化算法分析，概率论工具，集中不等式，切尔诺夫界，霍夫丁界，算法复杂度，概率保证，期望值计算，矩生成函数，拉斯维加斯算法，蒙特卡洛算法