overfull-hbox
通过从允许的列表中用较短的同义词替换单词来修复LaTeX过长hbox警告的指南。当任务涉及修改LaTeX文档以消除排版警告,同时遵守严格的单词替换限制时,此技能适用。适用于在LaTeX或类似标记语言中处理受同义词约束的文本编辑时使用。
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
通过从允许的列表中用较短的同义词替换单词来修复LaTeX过长hbox警告的指南。当任务涉及修改LaTeX文档以消除排版警告,同时遵守严格的单词替换限制时,此技能适用。适用于在LaTeX或类似标记语言中处理受同义词约束的文本编辑时使用。
创建同时适用于Python和C的多语言文件的指南。当任务要求编写能够被Python解释器和C编译器解析并执行的代码时,这项技能就会派上用场。涵盖多语言语法技术、测试策略以及关键的清理要求。
SQL查询优化任务的指导。当优化慢速SQL查询、提高数据库性能或重写查询以提高效率时,应使用此技能。涵盖查询计划分析、基准测试策略以及特定于数据库的优化技术。
构建从日志文件中提取和验证数据的复杂正则表达式的指南。当根据需求(如IP地址验证、日期提取、边界条件以及选择特定出现次数(第一个/最后一个))构建用于解析日志条目的正则表达式模式时,这项技能适用。在任务涉及为具有多个验证约束的日志解析创建正则表达式时,请使用此技能。
构建类似Scheme语言的元循环求值器指南。此技能适用于实现能够自我解释的解释器,处理涉及eval/apply循环、环境管理、闭包实现和多级解释的任务。可用于任何元循环求值器、Scheme解释器或自解释语言实现任务。
关于实现PyTorch流水线并行以进行分布式模型训练的指南。当任务涉及实现流水线并行、跨GPU/节点的模型分区、AFAB(全前向-全后向)调度或使用torch.distributed进行节点间张量通信时,应使用此技能。
通过系统性的静态和动态分析从受保护或混淆的二进制文件中提取秘密的指南。当任务涉及反向工程可执行文件、提取隐藏标志或密钥、分析二进制保护措施,或解码编译程序内的混淆数据时,应使用此技能。
使用Letta Learning SDK为LLM代理添加持久内存的集成模式和最佳实践
从二进制可执行文件反向工程图形渲染程序(光线追踪器、路径追踪器)的指南。当任务是重新创建一个通过光线/路径追踪生成图像的程序时,特别是目标是实现像素级完美或接近像素级完美的输出匹配时,应使用此技能。适用于需要进行二进制分析、浮点常量提取以及系统性算法重构的任务。
从多种蛋白质来源设计融合蛋白gBlock序列的指南。当任务涉及将来自PDB数据库、质粒文件和荧光蛋白数据库的蛋白质结合成一个具有特定连接子和密码子优化要求的单一优化DNA序列时,这项技能适用。
该技能为拉曼光谱峰拟合任务提供指导。它应在分析光谱数据、将洛伦兹或高斯峰拟合到拉曼光谱,或进行石墨烯/碳材料表征时使用。该技能强调关键的数据解析验证、来自领域知识的物理约束以及系统地调试曲线拟合问题。
针对RDF/Turtle数据集编写SPARQL查询的指南,特别是对于大学或学术数据。当任务涉及使用SPARQL查询RDF数据、基于多个条件过滤实体、聚合结果或处理Turtle (.ttl)文件时,应使用此技能。
将R-Stan(RStan)代码转换为Python-Stan(PyStan)的指南。此技能适用于将Stan模型和推理代码从R翻译到Python,包括RStan和PyStan 3.x之间的API映射、超参数翻译以及处理输出格式差异。在进行统计模型迁移、贝叶斯推断代码转换或跨R和Python生态系统使用Stan模型时,可以使用此技能。
指导如何在保持数值精度的同时优化MuJoCo MJCF模型文件以提高仿真性能。此技能应在调整物理仿真参数、优化MuJoCo XML配置或在机器人仿真中平衡速度与精度之间的权衡时使用。
为实现编码器/压缩器提供指导,这些编码器/压缩器必须生成与现有解码器/解压缩器兼容的输出。当任务是编写压缩算法、算术编码器、熵编码器或任何必须与给定解码器实现相对应的编码器时,这项技能适用。
从PDF中提取文本以供大语言模型使用。在为RAG、文档分析或文本提取处理PDF时使用。支持API服务(Mistral OCR)和本地工具(PyMuPDF, pdfplumber)。能够处理基于文本的PDF、表格以及通过OCR处理的扫描文档。
设置本地PyPI服务器以托管和提供Python包的指南。当任务涉及创建本地PyPI仓库、通过HTTP提供Python包、构建可分发的Python包或从自定义索引URL测试pip安装时,应使用此技能。
使用归纳法在Coq中证明数学性质的指南,特别是加法交换律及类似的算术引理。当使用Coq证明助手完成归纳证明、填充证明案例或应用标准库中的引理(如plus_n_O和plus_n_Sm)时应采用此技能。
关于数据重新分片任务的指导,这些任务涉及在文件大小和目录内容有约束的情况下跨目录结构重新组织文件。此技能适用于重新分配数据集、拆分大文件或将数据重组为分片时,同时保持每个目录的最大文件数或最大文件大小等限制条件。当任务涉及重新分片、数据分区或受目录限制的文件重组时使用。
通过识别并替换敏感信息(如API密钥、令牌和凭据)来清理git仓库的指南。当任务涉及从代码库中移除秘密信息、在共享前清理仓库或用占位符替换敏感值时,应使用此技能。适用于涉及秘密检测、凭据移除或出于安全目的进行仓库清理的任务。
通过二进制分析和手动解析从损坏或截断的SQLite数据库文件中恢复数据的指南。当使用标准工具无法打开已损坏的SQLite数据库时,尤其是在由于二进制截断、写入不完整或文件系统错误导致的数据损坏情况下,可以应用此技能。
针对特定对手实现目标胜率的CoreWars战士开发指南。当任务涉及为CoreWars编程游戏编写、优化或调试Redcode汇编战士,特别是需要达到对多个对手的胜率门槛时,应使用此技能。
关于使用gcov代码覆盖率工具编译SQLite(或类似的C项目)的指南。当任务涉及使用gcov标志构建软件、设置代码覆盖率工具或解决覆盖率数据文件生成问题时,应使用此技能。涵盖gcov路径机制、构建目录注意事项以及运行时验证策略。
确定性的浏览器认证提取,用于代理工作流程。当您需要停止正在运行的Brave/Chrome/Edge会话,通过CDP重新启动,提取cookie/localStorage/sessionStorage中的认证值,并恢复正常的浏览器状态时使用。