基于Manim CE的生产级数学与技术动画视频生成技能。涵盖概念解释、公式推导、算法可视化及数据故事,强调叙事逻辑与视觉美学,无需GPU即可创建高质量教学视频。
用于验证研究新颖性是否被已有工作覆盖。通过分解创新点、搜索文献并对比,判断是否存在“抢发”风险或提炼独特贡献差异。
提供BRENDA酶数据库的SOAP/REST查询能力,用于获取Km、Vmax等动力学参数、底物特异性及抑制剂数据。适用于代谢建模和酶学研究,支持通过Python zeep库进行程序化访问。
基于ScholarEval框架,对学术论文、研究提案等进行多维度结构化评估,涵盖严谨性、方法论及发表准备度,并可辅助生成科学示意图。
本地只读推理引擎,基于ARA文件检索并回答关于实验预测、假设验证及方案对比的问题。
提供DART 7多物理场仿真架构的全局视图,解释World、Solver、Couplers及Compute-Graph的核心设计原则与所有权关系。指导开发者理解多后端、多求解器的抽象机制,确保新算法通过标准流程集成,避免偏离既定设计规范。
提供DNA/RNA序列的确定性分析工具,包括翻译、ORF查找、限制性位点、Kozak上下文及引物检查。适用于分子生物学实验设计中的基础序列质控与计算任务。
通过USGS实时数据查询全球地震信息,支持按震级、区域和时间过滤。提供震感背景解读及官方安全指引,适用于突发地震咨询或活动监控。
针对东帝汶特别法庭案件的法律研究技能,强制要求引用前通过权威来源验证事实,提供存在、内容和段落三级验证标准,辅助国际正义领域的学术与历史研究。
用于在arXiv上搜索学术文献,提取标题、作者等关键信息并生成结构化摘要。适用于学术研究、技术调研及获取领域最新进展的场景。
辅助撰写WSDM论文Related Work,定位研究谱系,生成对比句,并检查跨顶会文献覆盖,避免引用遗漏。
为AI工程课程提供入学水平测试,通过10道涵盖数学、机器学习、深度学习等领域的选择题,评估用户知识掌握度并推荐合适的学习起点。
提供 SymPy 符号数学库的使用指南,支持代数、微积分、方程求解、矩阵运算及物理计算等精确符号推导任务。
用于维护红队检查、辩论、事前尸检及反事实分析,旨在识别未支持的主张和薄弱的实验计划。通过运行特定测试并更新相关文档与账本,确保系统健壮性与发布安全。
基于科学决策树框架,辅助科研人员选题、评估项目风险、规划研究策略及解决科研停滞问题。通过结构化对话引导用户明确目标、识别风险并制定参数策略,适用于新项目构思或现有项目瓶颈突破。


