导航架构技能专注于设计网站和应用中的导航系统，包括菜单层次、面包屑轨迹、巨型菜单结构、移动导航模式以及导航API。适用于无头CMS架构，帮助开发者构建用户友好的导航体验。关键词：菜单设计、面包屑生成、导航API、响应式导航、无头CMS。

这个技能使用 ccrider MCP 来查找和分析 Claude Code 会话，帮助开发者根据主题、项目或时间筛选会话，以深入理解编码模式和开发习惯。关键词：Claude Code, 会话分析, 编码模式, ccrider MCP, 开发工具, 代码审查。

这个技能用于在软件开发过程中自动更新开发文档，捕获进度、决策和上下文，以提高开发效率和文档质量。关键词：开发文档、文档更新、会话压缩、进度跟踪、代码管理、DevOps工具。

这个技能用于通过Rube MCP和Composio的Triggercmd工具包自动化Triggercmd操作，简化工作流并提高效率，支持远程命令执行和任务自动化。关键词：Triggercmd自动化，Rube MCP，Composio，工作流自动化，远程控制。

这是一个用于自动化The Odds API任务的技能，通过Rube MCP和Composio工具包实现工具发现、连接管理和执行自动化，适用于数据集成和自动化工作流。关键词：The Odds API，自动化，Rube MCP，Composio，工具集成，数据获取，API管理。

这个技能用于通过Rube MCP和Composio工具包自动化Taggun任务，包括工具发现、连接管理和工作流执行。它简化了自动化流程，适用于文档处理和数据提取场景。关键词：Taggun, Rube MCP, 自动化, 工具集成, Composio, 工作流自动化, 低代码开发, DevOps。

该技能通过Rube MCP和Composio的Sympla工具包实现Sympla平台任务的自动化操作，包括工具发现、连接管理、工作流执行，适用于开发者自动化事件管理、提高效率，关键词：自动化、Sympla、Rube MCP、Composio、工作流、工具集成、事件管理。

此技能用于通过 Rube MCP 自动化 Microsoft Clarity 任务，包括会话录制、热图分析和用户行为数据分析。关键词：Microsoft Clarity, 自动化, Rube MCP, 用户行为分析, 网站分析, 数据驱动决策。

这个技能用于通过Rube MCP自动化Metaphor操作，实现工具发现、连接管理和工作流执行，适用于自动化任务集成和数据操作。关键词：自动化、Metaphor、Rube MCP、Composio、工具发现、工作流、API集成、MCP协议。

这个技能用于通过Rube MCP自动化Mapulus操作，集成Composio的Mapulus工具包。它涉及工具发现、连接管理和任务执行工作流，适用于自动化软件开发任务。关键词：Mapulus自动化，Rube MCP，Composio，工具集成，任务自动化，DevOps。

此技能用于自动化Mailbluster邮件营销任务，通过Rube MCP和Composio工具包实现工作流自动化，提高操作效率。适用于需要集成和自动化邮件营销流程的用户。关键词：自动化，Mailbluster，Rube MCP，Composio，工作流，工具集成，DevOps。

上下文等价性技能用于证明程序在操作语义学、互模拟等技术下的上下文等价性，应用于程序验证、编译器正确性证明、程序转换验证和优化验证等领域。关键词：程序验证、上下文等价性、操作语义学、互模拟、编译器验证、编程语言、形式化方法。