math-extractor
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 464 个技能
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
AI 辅助代码代理版本控制。通过 MemoV 自动追踪提示词、上下文与差异,确保完整可追溯性,且不污染 Git 历史记录。
生成与 IntelliJ coding-aider 插件兼容的结构化开发计划、检查清单及文件上下文。
Summon 框架专家:协助 Kotlin Multiplatform UI 开发,提供类型安全的修饰符、状态管理、路由与 SSR,适用于网页与 JVM 应用程序。
用于提交前与部署前检查的自动化代码质量验证工具,涵盖 TypeScript、构建与 lint 检查。
通过管理 conductor/ 目录中的项目环境工件(产品、技术栈、工作流程、跟踪)来标准化开发环境。支持项目脚手架创建、工件同步以及针对全新与既有项目的 AI 对齐。
功能强大的图像压缩与转换 CLI 工具,支持批处理、多种引擎(mozjpeg、pngquant、sharp 等)、格式转换(WebP、AVIF)及递归目录优化。
通过 Brave Search API 进行无头网页搜索与内容提取。无需浏览器即可执行文档检索、事实查核及网页内容抓取。
根据 Hyperlane 文档标准审查文档变更,确保内容符合架构模式与规范。
为 MassGen 创建结构化 YAML 配置文件的指导工具。适用于制作示例、案例研究、测试或展示新功能时使用。
一套结构化的文件式待办事项追踪系统,用于管理技术债、协调代码审查工作流程,并直接在代码库内进行任务追踪。
使用 AI 创作专业商标。涵盖设计讨论、多样化生成、修图去背与 SVG 矢量格式导出,适用于品牌、吉祥物、图标与徽章设计。