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


