用于加载机器人模型文件(URDF、SDF、MJCF),支持格式自动检测与包路径解析。
1 skills
GitHub
1,159
Genomi技能为AI代理提供本地遗传学和DNA证据分析工具。用于处理基因、变异、表型、疾病及药物基因组学等查询,支持通过MCP服务器调用操作,并规范了会话级基因组数据访问权限与隐私审批流程。
1 skills
GitHub
488
提供Python SymPy库的符号数学计算指南,涵盖代数、微积分、方程求解、矩阵及物理计算等精确符号运算场景。
2 skills
GitHub
5,036
用于生成符合出版标准的科研配图,涵盖从参考图复刻、模型架构图设计到多面板组合及最终渲染验证的全流程,确保科学准确性与视觉一致性。
1 skills
GitHub
5,987
提供航空航天领域的单位、时间及坐标系转换功能,支持ECEF/ECI等帧变换与欧拉角/四元数旋转表示,适用于MATLAB Aerospace Toolbox相关计算任务。
1 skills
GitHub
1,179
用于定义复合材料固化仿真中的压力载荷,指定在内表面施加0.6MPa压力,并按固化周期步骤(粘性、橡胶态、玻璃态、回弹)管理载荷的施加与移除。
4 skills
GitHub
1,083
用于自然科学与工程任务,提供科学软件路由、仿真及数据集分析支持。通过 bash_exec 执行计算,利用 artifact.science 记录证据图,并基于 FermiLink 包索引指导科学声明与验证。
2 skills
GitHub
3,377
提供科学计算、生物信息学、逻辑电路设计及数值优化的策略指导。涵盖DNA引物设计、算法挑战、ML训练及验证流程,强调通过完整Python脚本执行复杂任务以确保状态一致性。
2 skills
GitHub
819
将数学命题转化为经过Lean验证的形式化定理,支持证明开发、项目续写及审计。通过跨家族对抗性审查确保逻辑严谨性与可复现交付,适用于需要形式化验证的复杂推导场景。
2 skills
GitHub
17,679
基于BioPython的序列分析技能,支持DNA/RNA/蛋白质序列的基础属性计算、翻译、GC含量、开放阅读框查找、限制性内切酶位点分析及引物设计。
2 skills
GitHub
409
在获得数值测量值后,将其与预设阈值比较以确定二元结果。用于解析数值、识别条件并执行对应分支动作,常见于科学实验中的分类或排序任务。
7 skills
GitHub
1,415
提供arXiv学术论文的查看、搜索和下载功能,支持API查询、网页抓取及HTML阅读。适用于用户询问学术文献、最新论文或需要检索/阅读论文的场景。
1 skills
GitHub
1,618
基于鲁丁《实分析与复分析》的数学解题技能,覆盖测度论、泛函分析及复变函数。通过决策树指导定理应用,结合RAG检索与符号计算工具辅助处理相关数学问题。
7 skills
GitHub
3,947
数学可视化技能,通过动画展示方程、公式和几何概念。支持代数、微积分等,提供LaTeX渲染、函数绘图及分步推导,辅助理解数学结构。
1 skills
GitHub
306
处理校准的一维复杂NMR自由感应衰减数据,生成相位谱、峰值候选和积分区域。用于原始1D NMR处理、ppm轴验证、加窗、傅里叶变换、手动定相及可重现的谱积分。
5 skills
GitHub
52,887
  • «
  • 1
  • »

inicio - Wiki
Copyright © 2011-2026 iteam. Current version is 2.155.2. UTC+08:00, 2026-10-24 06:11
浙ICP备14020137号-1