Agent Skills

Recently Added GitHub Stars Recently Updated

端到端自动化撰写研究论文并生成PDF。涵盖偏好规划、文献检索、实验模拟、大纲与章节起草、引用计划、图表绘制、全局修订及LaTeX编译，最终输出完整学术论文。

meta-paper-write

1 skills

GitHub

7,037

Abaqus有限元分析主控技能，根据用户意图路由至静力学、动力学、拓扑优化等专用子技能，辅助完成仿真建模与求解。

abaqus

1 skills

GitHub

1,241

指挥多轮数学证明协作，通过裁判生成问题、工人解答并记录账本，最终产出形式化证明。

siege

1 skills

GitHub

45,831

管理基于运行目录的数学证明项目，协调Codex本地尝试、GPT Pro手动移交及DeepSeek审计，确保状态连续性与源文件追踪。

proof-orchestrator

1 skills

GitHub

18,501

解析ScienceWorld环境中的高级科学任务指令，提取核心目标、目标对象及指定位置，生成包含导航、观察和执行的可执行子计划。

scienceworld-object-focuser scienceworld-task-interpreter

2 skills

GitHub

1,446