研究数据分析教育
math-extractor
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
浏览: 15
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 491 个技能
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
使用 Token Surgeon 审核并优化您的 AI 提示词。检测 10 种常见的冗余模式,计算效率分数,并减少 Token 用量以提升提示词性能。
掌握伦敦派(模拟测试)与芝加哥派(状态测试)TDD。通过 AI 代理自动化测试驱动开发流程、风格选择与代码重构。
Java 开发规范,包含命名约定、异常处理、Spring Boot 最佳实践及并发处理模式。
为并行开发建立隔离的 git worktrees,自动处理目录选择、.gitignore 安全检查、依赖安装与基准测试验证。
跨语言调试框架:包含科学调试法、堆栈追踪分析、日志记录策略,以及 Git bisect 与小黄鸭调试法等进阶技巧。
将现有的 OpenAI Apps SDK 应用程序迁移到 MCP Apps SDK,提供分步指导、API 映射表以及内容安全策略 (CSP) 调查工作流程。
利用 ripgrep 进行快速文本搜索,并透过 ast-grep 进行语法感知代码分析,有效定位代码库中的模式与结构。
使用 Google Wycheproof 测试向量套件验证密码学实现,以检测安全边界案例与已知漏洞。
为 Storyblok 项目执行代码审查并生成 QA 测试计划,确保代码质量、安全性及最佳实践。
结构化、模板驱动的端到端功能开发工作流,包含编码、自动化测试、验证及基于会话的持续改进。
资深后端架构专家,专精于六角形架构、DDD、SOLID 原则、简洁代码与重构,协助开发、代码审查及解决复杂的架构问题。