math-extractor
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 635 个技能
从文档(PDF、MD、TEX、TXT)中提取数学定义、定理、证明等内容,并进行AI驱动的清洗与格式转换。
创建、注册与管理自定义代理工具及 MCP 服务器,通过外部 API 与自定义逻辑扩展 AI 代理的功能。
管理、搜索并从本地论文数据库中提取技术见解。适合开发者实作学术研究、验证代码与数学逻辑,以及为 AI 编程代理提供科学论文背景资料。
AI 代理的执行前安全防护机制。针对 Shell 指令和文件读取执行 400 多种安全模式验证,拦截具破坏性的操作、凭证窃取与未授权的系统访问。
将教学内容(如逐字稿、教程)转化为可执行的「Ship-Learn-Next」循环,建立具体的实作计划与学习任务。
一套用于编写清晰、易读且简洁内容的工具。应用“浅显语言运动”原则,包括主动语态、缩短句子和消除行话,以提升读者理解度。
高级测试报告与质量仪表板,提供 QE 指标、代码覆盖率与部署就绪度分析,通过预测性洞察协助团队进行数据驱动的质量决策。
一个用于查询、解析并将 SEC EDGAR 申报文件、财务报表及机构持股数据转化为结构化 Python 对象的完整程序库。
通过 Context7 API 获取 React、FastAPI、Next.js 等框架的实时技术文档、代码示例与开发指导。
应用有效的软件质量咨询实践。适用于咨询 QA 策略、为开发团队提供建议,或建立可持续的质量工作流程。
实现安全的后端身份验证 (JWT, OAuth, 会话) 与授权 (RBAC, ABAC) 模式,包含密码哈希、多因素认证 (MFA) 及安全最佳实践。
使用 OpenAI Whisper CLI 进行本地语音转文字转录,无需外部 API 密钥即可提供私密且高准确度的音频处理。