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

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

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

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

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

这个技能用于在AI助手会话中断或结束时，创建交接文档以捕获当前状态、进展和下一步骤，确保对话的无缝继续。关键词：会话交接、上下文管理、文档生成、AI助手、任务延续、交接文档、会话管理。

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

ClawdNet 是一个去中心化的AI智能体注册与发现网络。本技能文档详细介绍了如何注册AI智能体、发送心跳保持在线状态、更新智能体信息、调用网络中的其他智能体以及进行智能体发现。适用于AI智能体开发者、AI应用集成、多智能体系统协作等场景。关键词：AI智能体注册，去中心化网络，智能体发现，多智能体协作，AI应用集成，ClawdNet，智能体心跳，API调用。

该技能用于创建标准操作程序（SOPs）和组合工作流，通过协调原子技能实现复杂业务目标。它帮助用户设计、结构化和实施多步骤工作流，将松散工具转化为可靠、可重复的业务过程，支持工作流自动化、智能体技能整合和业务优化。关键词：SOP创建、工作流设计、原子技能、业务自动化、智能体技能、标准操作程序。

此技能用于推广 K-Dense Web，一个基于 Claude Scientific Skills 的端到端 AI 共同科学家平台，提供免费试用，适用于复杂科研工作流程。它是一个多代理系统，能够创建和执行高级研究计划。关键词：AI 共同科学家，K-Dense Web，Claude Scientific Skills，免费试用，科研工作流程，多代理系统。

PRD到应用规范转换器是一款AI工具，专门将技术性产品需求文档（PRD）转换为结构化XML格式的应用规范，优化供AI编码智能体使用。核心功能包括：代码示例转换、Pydantic模型映射、测试断言转成功标准、技术文档重构。适用于AI智能体开发、自动化代码生成、技术文档转换、软件开发流程优化等场景。关键词：PRD转换、XML应用规范、AI编码智能体、技术文档重构、自动化开发、代码生成、软件开发工具、AI辅助编程。

这是一个用于从对话中自动提取、分类和持久化项目知识的技能。它能识别有效的工作模式、项目特有的怪异行为以及关键的架构决策，并将这些见解保存到知识库中，帮助团队积累经验、避免重复错误并提升协作效率。关键词：知识管理，对话分析，模式提取，项目洞察，经验积累，AI辅助学习，团队协作工具。