Agent Skills

Recently Added GitHub Stars Recently Updated

Abaqus有限元分析主控技能，根据用户意图（如静力学、动力学、优化等）路由至专用子技能，辅助完成仿真任务。

abaqus

1 skills

GitHub

743

管理基于本地目录的数学证明工作流，协调Codex、GPT Pro和DeepSeek进行多轮尝试与验证。支持断点续跑、源文件管理及手动/自动交接，确保证明过程的追踪与严谨性。

proof-orchestrator

1 skills

GitHub

14,909

用于解析ScienceWorld环境中的自然语言任务指令，提取目标对象、位置及动作序列，并指导智能体执行环境调查与任务操作。

scienceworld-task-parser

1 skills

GitHub

1,172

用于编排端到端自主AI研究项目的技能，通过双循环架构管理从文献调研到论文发表的全生命周期，自动执行实验迭代、结果综合及方向调整。

autoresearch

1 skills

GitHub

11,844

数学建模竞赛总控入口，负责启动流程、收集偏好并生成计划与待办，按序调用分析、编程、绘图、写作及验证等下游技能。

1start-mathmodel

1 skills

GitHub

3,594