研究数据分析教育
math-extractor
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
浏览: 15
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 525 个技能
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
Home Assistant OS (HAOS) 运维技能。提供只读诊断、自动化设计、健康审计及安全优先的配置管理功能。
克劳德代码会话的正式评估框架,实施评估驱动开发(EDD)原则,用于保障 AI 代理的可靠性。
将 Markdown 格式的产品需求文档 (PRD) 转换为 Ralph 自主 AI 代理系统所需的 prd.json 结构,以实现可重复且具备上下文意识的软件开发。
通过 llms.txt、MCP 搜索与智能解析策略,有效率地读取并导航外部技术文档。
管理 Neovim 配置、插件生态系统以及可重现的自定义构建。
自动化发布流程,通过计算语义化版本并创建从 main 到 production 的合并请求。
将 Confluence PRD 转换为结构化的本地 Markdown 文件,以供 spec-kit specify 工作流使用,实现从产品经理到开发人员的无缝交付。
自动获取 YouTube 视频字幕、生成结构化摘要,并将内容与关键见解发送至消息平台,支持视频元数据提取。
使用 Pencil MCP 进行工业级 UI 设计的完整工作流与组件库,包含颜色、字体、间距与阴影的标准化设计规范。
分析 C++ 代码中的实时安全性违规,包括音频线程中的堆内存分配、锁、阻塞调用及非确定性操作。
根据 SRT 字幕文件自动生成符合 B站规范的视频章节列表,内置格式检查与验证。