其他 Skill技能列表

4.5

教程系统技能Skill tutorial-systems

该技能用于新玩家入门引导和提示系统,提供操作指引和功能说明。关键词:玩家引导、新手教程、入门系统、操作提示、技能说明。

4.5

图灵机模拟器Skill turing-machine-simulator

图灵机模拟器是一个用于计算机科学教育和研究的专业工具,专注于模拟图灵机的运行过程。它支持多带图灵机和非确定性图灵机的模拟,提供逐步执行、磁带可视化、停机检测和计算轨迹生成等功能。该工具适用于可计算性理论分析、算法复杂性演示、可判定性证明以及计算机科学基础教学。关键词:图灵机模拟,可计算性分析,算法演示,计算理论,复杂性理论,停机问题,计算机科学教育。

4.5

类型规则生成器Skill typing-rule-generator

类型规则生成器是一个专注于编程语言理论领域的工具,用于辅助设计和生成形式化的类型系统推理规则。它能够根据用户定义的语言语法,自动或半自动地生成符合学术规范的LaTeX推理规则、构建类型推导树、分析规则间的依赖关系,并支持导出到Ott、LNGen等机械化验证工具。该技能专为编程语言设计者、编译器开发者和形式化方法研究人员打造,旨在提升类型系统设计的效率和严谨性。 关键词:编程语言理论,类型系统,形式化方法,推理规则,LaTeX,类型推导,PLT,编译器设计

4.5

学习技能提取方法Skill learner

这个技能用于从代码开发对话中提取可重用的学习技能,作为决策启发式和原则,帮助开发者如何思考问题,而非简单复制代码片段。它强调在解决棘手bug、发现非明显变通方法或未记录行为时,提取不可谷歌搜索、上下文特定、精确可操作且来之不易的技能。关键词:技能提取、学习技能、决策启发式、代码调试、非Googleable技能、心智模型、可重用原则。

4.5

GitHub搜索与发现Skill GitHubSearch&Discovery

GitHub搜索与发现技能专为开发者设计,通过智能搜索GitHub上的开源资源,快速找到现有库、MCP Server和最佳实践代码,节省开发时间,提升项目启动效率。关键词:GitHub搜索、开源库、MCP Server、代码示例、开发工具、避免重复造轮子。

4.5

Quaderno自动化技能Skill quaderno-automation

该技能通过Rube MCP和Composio工具包自动化Quaderno税务和发票管理任务,包括搜索可用工具、管理连接状态和执行自动化工作流程,提高税务处理效率并确保合规性。关键词:Quaderno自动化、Rube MCP、Composio、税务管理、发票自动化、工具包集成、工作流程自动化。

4.5

婚礼雨天与供应商应急计划Skill "wedding-rain-vendor-contingency-planning"

这个技能用于开发婚礼策划中的应急计划,专注于雨天天气和供应商缺勤场景,通过具体的协议确保操作连续性和风险缓解。关键词:婚礼策划、应急计划、风险管理、供应商管理、天气适应。

4.5

董事会行动项追踪器Skill action-item-tracker

董事会行动项追踪器是一款专为风险投资机构设计的工具,用于系统化管理投资组合公司董事会会议产生的行动项、承诺和后续跟进任务。该工具通过自动化捕获、分配、跟踪和报告功能,确保重要决策得到有效执行,提升董事会治理效率和投资组合价值创造能力。关键词:董事会治理、行动项管理、风险投资、投资组合管理、任务跟踪、问责机制、进度监控、跨公司分析。

4.5

董事会材料分析器Skill board-deck-analyzer

董事会材料分析器是一款专为风险投资和董事会管理设计的智能分析工具,能够自动解析投资组合公司的董事会报告,识别财务趋势、标记运营风险、准备讨论要点,支持风险投资、投后管理、董事会决策和商业智能分析。

4.5

OMC使用指南Skill omc-help

这个技能提供了oh-my-claudecode插件的详细使用指南,帮助用户无需学习命令即可自动增强Claude Code功能。它包括自动行为、魔法关键词、停止命令、首次设置和使用分析。通过数据分析,用户可以优化工作流程,识别未充分利用的功能,并获得个性化推荐。关键词:oh-my-claudecode, Claude Code插件, 智能代理, 使用分析, 工作流优化, 自动化编程。

4.5

犬只食欲减退分层处理协议Skill "tiered-canine-appetite-decline-protocol"

这个技能提供基于时间和症状分层的犬只食欲减退处理协议,帮助宠物主人和照顾者根据食欲减退程度(轻度、中度、重度)在特定时间点采取具体行动,如联系或访问兽医。关键词:犬只食欲减退、宠物护理、兽医分诊、时间触发协议、分层处理。

4.5

参考类预测器Skill reference-class-forecaster

参考类预测器是一种基于历史类比数据的预测方法,专门用于对抗乐观偏见和规划谬误。该技能通过分析可比项目的历史结果数据,提供客观的“外部视角”预测,帮助决策者校正过度乐观的内部估算。核心功能包括参考类选择、历史数据分布分析、偏差校正因子计算、不确定性量化以及内外视角对比分析。适用于项目管理、投资决策、风险评估等场景,提升预测准确性和决策质量。关键词:参考类预测、乐观偏见校正、规划谬误、历史数据分析、决策质量、外部视角预测、偏差校正、项目管理预测、风险评估、统计预测模型。