dsh-aris-panel 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (442) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +98 -0
  3. package/README_CN.md +87 -0
  4. package/dsh/checkout.patch.yml +38 -0
  5. package/dsh/client.js +634 -0
  6. package/dsh/cordis.patch.yml +44 -0
  7. package/dsh/index.mjs +76 -0
  8. package/dsh/run-status.mjs +182 -0
  9. package/dsh/scope-limits.mjs +50 -0
  10. package/dsh/workbench.mjs +291 -0
  11. package/mcp-servers/claude-review/README.md +93 -0
  12. package/mcp-servers/claude-review/run_with_claude_aws.sh +49 -0
  13. package/mcp-servers/claude-review/server.py +718 -0
  14. package/mcp-servers/codex-image2/README.md +65 -0
  15. package/mcp-servers/codex-image2/server.py +893 -0
  16. package/mcp-servers/feishu-bridge/requirements.txt +1 -0
  17. package/mcp-servers/feishu-bridge/server.py +240 -0
  18. package/mcp-servers/gemini-review/README.md +171 -0
  19. package/mcp-servers/gemini-review/server.py +1856 -0
  20. package/mcp-servers/llm-chat/requirements.txt +1 -0
  21. package/mcp-servers/llm-chat/server.py +664 -0
  22. package/mcp-servers/manual-review/README.md +133 -0
  23. package/mcp-servers/manual-review/server.py +910 -0
  24. package/mcp-servers/manual-review/ui.html +279 -0
  25. package/mcp-servers/minimax-chat/requirements.txt +1 -0
  26. package/mcp-servers/minimax-chat/server.py +381 -0
  27. package/package.json +51 -0
  28. package/skills/ablation-planner/SKILL.md +123 -0
  29. package/skills/alphaxiv/SKILL.md +196 -0
  30. package/skills/analyze-results/SKILL.md +46 -0
  31. package/skills/arxiv/SKILL.md +248 -0
  32. package/skills/auto-paper-improvement-loop/SKILL.md +651 -0
  33. package/skills/auto-review-loop/SKILL.md +1137 -0
  34. package/skills/auto-review-loop-llm/SKILL.md +259 -0
  35. package/skills/auto-review-loop-minimax/SKILL.md +302 -0
  36. package/skills/citation-audit/SKILL.md +502 -0
  37. package/skills/claims-drafting/SKILL.md +227 -0
  38. package/skills/comm-lit-review/SKILL.md +297 -0
  39. package/skills/deepxiv/SKILL.md +263 -0
  40. package/skills/dse-loop/SKILL.md +296 -0
  41. package/skills/embodiment-description/SKILL.md +129 -0
  42. package/skills/exa-search/SKILL.md +205 -0
  43. package/skills/experiment-audit/SKILL.md +311 -0
  44. package/skills/experiment-bridge/SKILL.md +376 -0
  45. package/skills/experiment-plan/SKILL.md +249 -0
  46. package/skills/experiment-queue/SKILL.md +431 -0
  47. package/skills/experiment-queue/scripts/build_manifest.py +142 -0
  48. package/skills/experiment-queue/scripts/queue_manager.py +433 -0
  49. package/skills/feishu-notify/SKILL.md +156 -0
  50. package/skills/figure-description/SKILL.md +138 -0
  51. package/skills/figure-spec/SKILL.md +262 -0
  52. package/skills/figure-spec/scripts/figure_renderer.py +799 -0
  53. package/skills/formula-derivation/SKILL.md +280 -0
  54. package/skills/gemini-search/SKILL.md +231 -0
  55. package/skills/grant-proposal/SKILL.md +698 -0
  56. package/skills/idea-creator/SKILL.md +542 -0
  57. package/skills/idea-discovery/SKILL.md +521 -0
  58. package/skills/idea-discovery-robot/SKILL.md +363 -0
  59. package/skills/integrity-forensics/SKILL.md +284 -0
  60. package/skills/interview-cheatsheet/SKILL.md +245 -0
  61. package/skills/invention-structuring/SKILL.md +188 -0
  62. package/skills/jurisdiction-format/SKILL.md +192 -0
  63. package/skills/kill-argument/SKILL.md +437 -0
  64. package/skills/mermaid-diagram/SKILL.md +419 -0
  65. package/skills/meta-apply/SKILL.md +141 -0
  66. package/skills/meta-optimize/SKILL.md +437 -0
  67. package/skills/monitor-experiment/SKILL.md +140 -0
  68. package/skills/novelty-check/SKILL.md +101 -0
  69. package/skills/openalex/SKILL.md +237 -0
  70. package/skills/overleaf-sync/SKILL.md +220 -0
  71. package/skills/paper-claim-audit/SKILL.md +348 -0
  72. package/skills/paper-compile/SKILL.md +266 -0
  73. package/skills/paper-figure/SKILL.md +312 -0
  74. package/skills/paper-illustration/SKILL.md +736 -0
  75. package/skills/paper-illustration-image2/SKILL.md +391 -0
  76. package/skills/paper-illustration-image2/scripts/paper_illustration_image2.py +255 -0
  77. package/skills/paper-plan/SKILL.md +386 -0
  78. package/skills/paper-poster/SKILL.md +19 -0
  79. package/skills/paper-poster-html/DESIGN_FINAL.md +176 -0
  80. package/skills/paper-poster-html/IMPLEMENTATION_CONVENTIONS.md +161 -0
  81. package/skills/paper-poster-html/LICENSES/posterly-MIT.txt +21 -0
  82. package/skills/paper-poster-html/NOTICE.md +57 -0
  83. package/skills/paper-poster-html/SKILL.md +323 -0
  84. package/skills/paper-poster-html/scripts/_posterly/__init__.py +0 -0
  85. package/skills/paper-poster-html/scripts/_posterly/canvas.py +200 -0
  86. package/skills/paper-poster-html/scripts/_posterly/measure.py +588 -0
  87. package/skills/paper-poster-html/scripts/_posterly/polish.py +498 -0
  88. package/skills/paper-poster-html/scripts/_posterly/preflight.py +489 -0
  89. package/skills/paper-poster-html/scripts/_posterly/render.py +215 -0
  90. package/skills/paper-poster-html/scripts/_posterly/textutil.py +16 -0
  91. package/skills/paper-poster-html/scripts/_posterly/verify_final.py +171 -0
  92. package/skills/paper-poster-html/scripts/asset_check.py +897 -0
  93. package/skills/paper-poster-html/scripts/extract_pdf_figures.py +666 -0
  94. package/skills/paper-poster-html/scripts/poster_check.py +251 -0
  95. package/skills/paper-poster-html/scripts/preprocess_figures.py +238 -0
  96. package/skills/paper-poster-html/scripts/render_preview.py +217 -0
  97. package/skills/paper-poster-html/scripts/run_gates.py +556 -0
  98. package/skills/paper-poster-html/scripts/style_check.py +1324 -0
  99. package/skills/paper-poster-html/templates/COMPONENTS.md +462 -0
  100. package/skills/paper-poster-html/templates/README.md +170 -0
  101. package/skills/paper-poster-html/templates/landscape_4col.html +1032 -0
  102. package/skills/paper-poster-html/templates/landscape_hero.html +1046 -0
  103. package/skills/paper-poster-html/templates/portrait_2col.html +947 -0
  104. package/skills/paper-poster-html/templates/tokens/acl.json +9 -0
  105. package/skills/paper-poster-html/templates/tokens/cvpr.json +9 -0
  106. package/skills/paper-poster-html/templates/tokens/generic.json +9 -0
  107. package/skills/paper-poster-html/templates/tokens/iclr.json +9 -0
  108. package/skills/paper-poster-html/templates/tokens/icml.json +9 -0
  109. package/skills/paper-poster-html/templates/tokens/neurips.json +9 -0
  110. package/skills/paper-slides/SKILL.md +635 -0
  111. package/skills/paper-talk/SKILL.md +381 -0
  112. package/skills/paper-write/SKILL.md +604 -0
  113. package/skills/paper-write/templates/IEEEtran.bst +2409 -0
  114. package/skills/paper-write/templates/IEEEtran.cls +6347 -0
  115. package/skills/paper-write/templates/iclr2026.tex +84 -0
  116. package/skills/paper-write/templates/icml2025.tex +87 -0
  117. package/skills/paper-write/templates/ieee_conference.tex +89 -0
  118. package/skills/paper-write/templates/ieee_journal.tex +93 -0
  119. package/skills/paper-write/templates/math_commands.tex +48 -0
  120. package/skills/paper-write/templates/neurips2025.tex +80 -0
  121. package/skills/paper-writing/SKILL.md +916 -0
  122. package/skills/patent-novelty-check/SKILL.md +153 -0
  123. package/skills/patent-pipeline/SKILL.md +344 -0
  124. package/skills/patent-review/SKILL.md +203 -0
  125. package/skills/pixel-art/SKILL.md +137 -0
  126. package/skills/prior-art-search/SKILL.md +146 -0
  127. package/skills/proof-checker/SKILL.md +866 -0
  128. package/skills/proof-orchestrator/NOTICE.md +24 -0
  129. package/skills/proof-orchestrator/SKILL.md +254 -0
  130. package/skills/proof-orchestrator/references/audit-output-contract.md +126 -0
  131. package/skills/proof-orchestrator/references/deepseek-routing.md +74 -0
  132. package/skills/proof-orchestrator/references/dispatch-prompts.md +227 -0
  133. package/skills/proof-orchestrator/references/notation-audit.md +135 -0
  134. package/skills/proof-orchestrator/references/proof-audit-rubric.md +70 -0
  135. package/skills/proof-orchestrator/references/stress-tests.md +38 -0
  136. package/skills/proof-writer/SKILL.md +223 -0
  137. package/skills/qzcli/SKILL.md +324 -0
  138. package/skills/rebuttal/SKILL.md +376 -0
  139. package/skills/render-html/SKILL.md +316 -0
  140. package/skills/render-html/scripts/render_html.py +1006 -0
  141. package/skills/render-html/scripts/templates/academic.html +703 -0
  142. package/skills/render-html/scripts/templates/dashboard.html +333 -0
  143. package/skills/research-lit/SKILL.md +756 -0
  144. package/skills/research-pipeline/SKILL.md +384 -0
  145. package/skills/research-refine/SKILL.md +770 -0
  146. package/skills/research-refine-pipeline/SKILL.md +186 -0
  147. package/skills/research-review/SKILL.md +198 -0
  148. package/skills/research-wiki/SKILL.md +461 -0
  149. package/skills/resubmit-pipeline/SKILL.md +447 -0
  150. package/skills/result-to-claim/SKILL.md +311 -0
  151. package/skills/run-experiment/SKILL.md +313 -0
  152. package/skills/semantic-scholar/SKILL.md +236 -0
  153. package/skills/serverless-modal/SKILL.md +335 -0
  154. package/skills/shared-references/acceptance-gate.md +324 -0
  155. package/skills/shared-references/assurance-contract.md +248 -0
  156. package/skills/shared-references/capture-antipatterns.md +78 -0
  157. package/skills/shared-references/citation-discipline.md +583 -0
  158. package/skills/shared-references/compute-env-contract.md +163 -0
  159. package/skills/shared-references/effort-contract.md +183 -0
  160. package/skills/shared-references/evidence-precheck.md +65 -0
  161. package/skills/shared-references/experiment-integrity.md +49 -0
  162. package/skills/shared-references/external-cadence.md +326 -0
  163. package/skills/shared-references/fan-out-pattern.md +366 -0
  164. package/skills/shared-references/injection-hygiene.md +127 -0
  165. package/skills/shared-references/integration-contract.md +461 -0
  166. package/skills/shared-references/output-composition.md +93 -0
  167. package/skills/shared-references/output-language.md +45 -0
  168. package/skills/shared-references/output-manifest.md +49 -0
  169. package/skills/shared-references/output-versioning.md +111 -0
  170. package/skills/shared-references/patent-format-cn.md +199 -0
  171. package/skills/shared-references/patent-format-ep.md +173 -0
  172. package/skills/shared-references/patent-format-us.md +161 -0
  173. package/skills/shared-references/patent-writing-principles.md +197 -0
  174. package/skills/shared-references/prior-art-databases.md +141 -0
  175. package/skills/shared-references/resumable-runs.md +109 -0
  176. package/skills/shared-references/review-scope-limits.md +81 -0
  177. package/skills/shared-references/review-tracing.md +391 -0
  178. package/skills/shared-references/reviewer-independence.md +79 -0
  179. package/skills/shared-references/reviewer-routing.md +852 -0
  180. package/skills/shared-references/skill-governance.md +104 -0
  181. package/skills/shared-references/taste-calibration.md +85 -0
  182. package/skills/shared-references/venue-checklists.md +114 -0
  183. package/skills/shared-references/wiki-helper-resolution.md +134 -0
  184. package/skills/shared-references/writing-principles.md +525 -0
  185. package/skills/skills-codex/README.md +102 -0
  186. package/skills/skills-codex/README_CN.md +100 -0
  187. package/skills/skills-codex/ablation-planner/SKILL.md +126 -0
  188. package/skills/skills-codex/alphaxiv/SKILL.md +186 -0
  189. package/skills/skills-codex/analyze-results/SKILL.md +45 -0
  190. package/skills/skills-codex/arxiv/SKILL.md +210 -0
  191. package/skills/skills-codex/auto-paper-improvement-loop/SKILL.md +574 -0
  192. package/skills/skills-codex/auto-review-loop/SKILL.md +500 -0
  193. package/skills/skills-codex/auto-review-loop-llm/SKILL.md +247 -0
  194. package/skills/skills-codex/auto-review-loop-minimax/SKILL.md +290 -0
  195. package/skills/skills-codex/citation-audit/SKILL.md +504 -0
  196. package/skills/skills-codex/claims-drafting/SKILL.md +239 -0
  197. package/skills/skills-codex/comm-lit-review/SKILL.md +299 -0
  198. package/skills/skills-codex/comm-lit-review/references/domain-taxonomy.md +57 -0
  199. package/skills/skills-codex/comm-lit-review/references/output-template.md +37 -0
  200. package/skills/skills-codex/comm-lit-review/references/source-policy.md +99 -0
  201. package/skills/skills-codex/comm-lit-review/references/venue-tiering.md +112 -0
  202. package/skills/skills-codex/deepxiv/SKILL.md +142 -0
  203. package/skills/skills-codex/dse-loop/SKILL.md +285 -0
  204. package/skills/skills-codex/embodiment-description/SKILL.md +129 -0
  205. package/skills/skills-codex/exa-search/SKILL.md +192 -0
  206. package/skills/skills-codex/experiment-audit/SKILL.md +286 -0
  207. package/skills/skills-codex/experiment-bridge/SKILL.md +356 -0
  208. package/skills/skills-codex/experiment-plan/SKILL.md +249 -0
  209. package/skills/skills-codex/experiment-queue/SKILL.md +401 -0
  210. package/skills/skills-codex/feishu-notify/SKILL.md +155 -0
  211. package/skills/skills-codex/figure-description/SKILL.md +138 -0
  212. package/skills/skills-codex/figure-spec/SKILL.md +252 -0
  213. package/skills/skills-codex/formula-derivation/SKILL.md +280 -0
  214. package/skills/skills-codex/gemini-search/SKILL.md +205 -0
  215. package/skills/skills-codex/grant-proposal/SKILL.md +626 -0
  216. package/skills/skills-codex/idea-creator/SKILL.md +405 -0
  217. package/skills/skills-codex/idea-discovery/SKILL.md +475 -0
  218. package/skills/skills-codex/idea-discovery-robot/SKILL.md +362 -0
  219. package/skills/skills-codex/integrity-forensics/SKILL.md +106 -0
  220. package/skills/skills-codex/interview-cheatsheet/SKILL.md +245 -0
  221. package/skills/skills-codex/invention-structuring/SKILL.md +188 -0
  222. package/skills/skills-codex/jurisdiction-format/SKILL.md +192 -0
  223. package/skills/skills-codex/kill-argument/SKILL.md +403 -0
  224. package/skills/skills-codex/mermaid-diagram/SKILL.md +379 -0
  225. package/skills/skills-codex/meta-apply/SKILL.md +154 -0
  226. package/skills/skills-codex/meta-optimize/SKILL.md +348 -0
  227. package/skills/skills-codex/monitor-experiment/SKILL.md +98 -0
  228. package/skills/skills-codex/novelty-check/SKILL.md +89 -0
  229. package/skills/skills-codex/openalex/SKILL.md +228 -0
  230. package/skills/skills-codex/overleaf-sync/SKILL.md +220 -0
  231. package/skills/skills-codex/paper-claim-audit/SKILL.md +350 -0
  232. package/skills/skills-codex/paper-compile/SKILL.md +253 -0
  233. package/skills/skills-codex/paper-figure/SKILL.md +311 -0
  234. package/skills/skills-codex/paper-illustration/SKILL.md +690 -0
  235. package/skills/skills-codex/paper-illustration-image2/SKILL.md +383 -0
  236. package/skills/skills-codex/paper-illustration-image2/scripts/paper_illustration_image2.py +255 -0
  237. package/skills/skills-codex/paper-plan/SKILL.md +278 -0
  238. package/skills/skills-codex/paper-poster/SKILL.md +19 -0
  239. package/skills/skills-codex/paper-poster-html/SKILL.md +377 -0
  240. package/skills/skills-codex/paper-slides/SKILL.md +571 -0
  241. package/skills/skills-codex/paper-talk/SKILL.md +381 -0
  242. package/skills/skills-codex/paper-write/SKILL.md +411 -0
  243. package/skills/skills-codex/paper-write/templates/IEEEtran.bst +2409 -0
  244. package/skills/skills-codex/paper-write/templates/IEEEtran.cls +6347 -0
  245. package/skills/skills-codex/paper-write/templates/aaai2026.bst +1493 -0
  246. package/skills/skills-codex/paper-write/templates/aaai2026.sty +315 -0
  247. package/skills/skills-codex/paper-write/templates/aaai2026.tex +952 -0
  248. package/skills/skills-codex/paper-write/templates/acl.sty +312 -0
  249. package/skills/skills-codex/paper-write/templates/acl2026.tex +377 -0
  250. package/skills/skills-codex/paper-write/templates/acl_natbib.bst +1940 -0
  251. package/skills/skills-codex/paper-write/templates/acm.bst +3081 -0
  252. package/skills/skills-codex/paper-write/templates/acm_mm2026.tex +204 -0
  253. package/skills/skills-codex/paper-write/templates/acmart.cls +3520 -0
  254. package/skills/skills-codex/paper-write/templates/cvpr.bst +1448 -0
  255. package/skills/skills-codex/paper-write/templates/cvpr.sty +508 -0
  256. package/skills/skills-codex/paper-write/templates/cvpr2026.tex +63 -0
  257. package/skills/skills-codex/paper-write/templates/iclr2026.tex +84 -0
  258. package/skills/skills-codex/paper-write/templates/iclr2026_conference.bst +1440 -0
  259. package/skills/skills-codex/paper-write/templates/iclr2026_conference.sty +246 -0
  260. package/skills/skills-codex/paper-write/templates/icml2026.sty +767 -0
  261. package/skills/skills-codex/paper-write/templates/icml2026.tex +662 -0
  262. package/skills/skills-codex/paper-write/templates/ieee_conference.tex +89 -0
  263. package/skills/skills-codex/paper-write/templates/ieee_journal.tex +93 -0
  264. package/skills/skills-codex/paper-write/templates/math_commands.tex +48 -0
  265. package/skills/skills-codex/paper-write/templates/neurips2026.tex +493 -0
  266. package/skills/skills-codex/paper-write/templates/neurips_2026.sty +437 -0
  267. package/skills/skills-codex/paper-writing/SKILL.md +731 -0
  268. package/skills/skills-codex/patent-novelty-check/SKILL.md +153 -0
  269. package/skills/skills-codex/patent-pipeline/SKILL.md +344 -0
  270. package/skills/skills-codex/patent-review/SKILL.md +202 -0
  271. package/skills/skills-codex/pixel-art/SKILL.md +139 -0
  272. package/skills/skills-codex/prior-art-search/SKILL.md +146 -0
  273. package/skills/skills-codex/proof-checker/SKILL.md +554 -0
  274. package/skills/skills-codex/proof-orchestrator/SKILL.md +260 -0
  275. package/skills/skills-codex/proof-orchestrator/references/audit-output-contract.md +126 -0
  276. package/skills/skills-codex/proof-orchestrator/references/deepseek-routing.md +76 -0
  277. package/skills/skills-codex/proof-orchestrator/references/dispatch-prompts.md +227 -0
  278. package/skills/skills-codex/proof-orchestrator/references/notation-audit.md +135 -0
  279. package/skills/skills-codex/proof-orchestrator/references/proof-audit-rubric.md +70 -0
  280. package/skills/skills-codex/proof-orchestrator/references/stress-tests.md +38 -0
  281. package/skills/skills-codex/proof-writer/SKILL.md +222 -0
  282. package/skills/skills-codex/qzcli/SKILL.md +324 -0
  283. package/skills/skills-codex/rebuttal/SKILL.md +305 -0
  284. package/skills/skills-codex/render-html/SKILL.md +305 -0
  285. package/skills/skills-codex/render-html/scripts/__pycache__/render_html.cpython-314.pyc +0 -0
  286. package/skills/skills-codex/render-html/scripts/render_html.py +909 -0
  287. package/skills/skills-codex/render-html/scripts/templates/academic.html +342 -0
  288. package/skills/skills-codex/render-html/scripts/templates/dashboard.html +333 -0
  289. package/skills/skills-codex/research-lit/SKILL.md +464 -0
  290. package/skills/skills-codex/research-pipeline/SKILL.md +340 -0
  291. package/skills/skills-codex/research-refine/SKILL.md +721 -0
  292. package/skills/skills-codex/research-refine-pipeline/SKILL.md +186 -0
  293. package/skills/skills-codex/research-review/SKILL.md +135 -0
  294. package/skills/skills-codex/research-wiki/SKILL.md +421 -0
  295. package/skills/skills-codex/resubmit-pipeline/SKILL.md +444 -0
  296. package/skills/skills-codex/result-to-claim/SKILL.md +246 -0
  297. package/skills/skills-codex/run-experiment/SKILL.md +236 -0
  298. package/skills/skills-codex/semantic-scholar/SKILL.md +219 -0
  299. package/skills/skills-codex/serverless-modal/SKILL.md +335 -0
  300. package/skills/skills-codex/shared-references/acceptance-gate.md +336 -0
  301. package/skills/skills-codex/shared-references/assurance-contract.md +139 -0
  302. package/skills/skills-codex/shared-references/capture-antipatterns.md +84 -0
  303. package/skills/skills-codex/shared-references/citation-discipline.md +452 -0
  304. package/skills/skills-codex/shared-references/compute-env-contract.md +163 -0
  305. package/skills/skills-codex/shared-references/effort-contract.md +143 -0
  306. package/skills/skills-codex/shared-references/evidence-precheck.md +73 -0
  307. package/skills/skills-codex/shared-references/experiment-integrity.md +49 -0
  308. package/skills/skills-codex/shared-references/external-cadence.md +334 -0
  309. package/skills/skills-codex/shared-references/fan-out-pattern.md +375 -0
  310. package/skills/skills-codex/shared-references/injection-hygiene.md +132 -0
  311. package/skills/skills-codex/shared-references/integration-contract.md +372 -0
  312. package/skills/skills-codex/shared-references/output-composition.md +98 -0
  313. package/skills/skills-codex/shared-references/output-language.md +45 -0
  314. package/skills/skills-codex/shared-references/output-manifest.md +40 -0
  315. package/skills/skills-codex/shared-references/output-versioning.md +111 -0
  316. package/skills/skills-codex/shared-references/patent-format-cn.md +199 -0
  317. package/skills/skills-codex/shared-references/patent-format-ep.md +173 -0
  318. package/skills/skills-codex/shared-references/patent-format-us.md +161 -0
  319. package/skills/skills-codex/shared-references/patent-writing-principles.md +197 -0
  320. package/skills/skills-codex/shared-references/prior-art-databases.md +141 -0
  321. package/skills/skills-codex/shared-references/resumable-runs.md +125 -0
  322. package/skills/skills-codex/shared-references/review-scope-limits.md +81 -0
  323. package/skills/skills-codex/shared-references/review-tracing.md +144 -0
  324. package/skills/skills-codex/shared-references/reviewer-independence.md +66 -0
  325. package/skills/skills-codex/shared-references/reviewer-routing.md +128 -0
  326. package/skills/skills-codex/shared-references/skill-governance.md +119 -0
  327. package/skills/skills-codex/shared-references/taste-calibration.md +90 -0
  328. package/skills/skills-codex/shared-references/venue-checklists.md +73 -0
  329. package/skills/skills-codex/shared-references/wiki-helper-resolution.md +69 -0
  330. package/skills/skills-codex/shared-references/writing-principles.md +525 -0
  331. package/skills/skills-codex/slides-polish/SKILL.md +563 -0
  332. package/skills/skills-codex/specification-writing/SKILL.md +211 -0
  333. package/skills/skills-codex/system-profile/SKILL.md +103 -0
  334. package/skills/skills-codex/training-check/SKILL.md +83 -0
  335. package/skills/skills-codex/vast-gpu/SKILL.md +394 -0
  336. package/skills/skills-codex/web-debug-search/SKILL.md +334 -0
  337. package/skills/skills-codex/wiki-enrich/SKILL.md +255 -0
  338. package/skills/skills-codex/writing-systems-papers/SKILL.md +184 -0
  339. package/skills/skills-codex-claude-review/README.md +79 -0
  340. package/skills/skills-codex-claude-review/README_CN.md +78 -0
  341. package/skills/skills-codex-claude-review/auto-paper-improvement-loop/SKILL.md +581 -0
  342. package/skills/skills-codex-claude-review/auto-review-loop/SKILL.md +510 -0
  343. package/skills/skills-codex-claude-review/novelty-check/SKILL.md +102 -0
  344. package/skills/skills-codex-claude-review/paper-figure/SKILL.md +319 -0
  345. package/skills/skills-codex-claude-review/paper-plan/SKILL.md +287 -0
  346. package/skills/skills-codex-claude-review/paper-write/SKILL.md +420 -0
  347. package/skills/skills-codex-claude-review/research-refine/SKILL.md +732 -0
  348. package/skills/skills-codex-claude-review/research-review/SKILL.md +149 -0
  349. package/skills/skills-codex-gemini-review/README.md +176 -0
  350. package/skills/skills-codex-gemini-review/README_CN.md +175 -0
  351. package/skills/skills-codex-gemini-review/auto-paper-improvement-loop/SKILL.md +331 -0
  352. package/skills/skills-codex-gemini-review/auto-review-loop/SKILL.md +304 -0
  353. package/skills/skills-codex-gemini-review/grant-proposal/SKILL.md +630 -0
  354. package/skills/skills-codex-gemini-review/idea-creator/SKILL.md +263 -0
  355. package/skills/skills-codex-gemini-review/idea-discovery/SKILL.md +275 -0
  356. package/skills/skills-codex-gemini-review/idea-discovery-robot/SKILL.md +365 -0
  357. package/skills/skills-codex-gemini-review/novelty-check/SKILL.md +92 -0
  358. package/skills/skills-codex-gemini-review/paper-figure/SKILL.md +289 -0
  359. package/skills/skills-codex-gemini-review/paper-plan/SKILL.md +265 -0
  360. package/skills/skills-codex-gemini-review/paper-poster-html/SKILL.md +102 -0
  361. package/skills/skills-codex-gemini-review/paper-slides/SKILL.md +582 -0
  362. package/skills/skills-codex-gemini-review/paper-write/SKILL.md +346 -0
  363. package/skills/skills-codex-gemini-review/paper-writing/SKILL.md +312 -0
  364. package/skills/skills-codex-gemini-review/research-refine/SKILL.md +674 -0
  365. package/skills/skills-codex-gemini-review/research-review/SKILL.md +112 -0
  366. package/skills/slides-polish/SKILL.md +565 -0
  367. package/skills/specification-writing/SKILL.md +211 -0
  368. package/skills/system-profile/SKILL.md +103 -0
  369. package/skills/training-check/SKILL.md +132 -0
  370. package/skills/vast-gpu/SKILL.md +394 -0
  371. package/skills/web-debug-search/SKILL.md +334 -0
  372. package/skills/wiki-enrich/SKILL.md +257 -0
  373. package/skills/writing-systems-papers/SKILL.md +184 -0
  374. package/templates/CLAUDE_MD_TEMPLATE.md +29 -0
  375. package/templates/EXPERIMENT_LOG_TEMPLATE.md +47 -0
  376. package/templates/EXPERIMENT_PLAN_TEMPLATE.md +51 -0
  377. package/templates/EXPERIMENT_PLAN_TEMPLATE_CN.md +53 -0
  378. package/templates/FINDINGS_TEMPLATE.md +52 -0
  379. package/templates/IDEA_CANDIDATES_TEMPLATE.md +47 -0
  380. package/templates/IDEA_CANDIDATES_TEMPLATE_CN.md +47 -0
  381. package/templates/INVENTION_BRIEF_TEMPLATE.md +87 -0
  382. package/templates/MANIFEST_TEMPLATE.md +7 -0
  383. package/templates/NARRATIVE_REPORT_TEMPLATE.md +49 -0
  384. package/templates/PAPER_PLAN_TEMPLATE.md +47 -0
  385. package/templates/PATENT_CLAIMS_TEMPLATE.md +78 -0
  386. package/templates/PATENT_SPECIFICATION_TEMPLATE.md +68 -0
  387. package/templates/README.md +57 -0
  388. package/templates/RESEARCH_BRIEF_TEMPLATE.md +35 -0
  389. package/templates/RESEARCH_BRIEF_TEMPLATE_CN.md +41 -0
  390. package/templates/RESEARCH_CONTRACT_TEMPLATE.md +60 -0
  391. package/templates/claude-hooks/corpus_write_guard.json +16 -0
  392. package/templates/claude-hooks/corpus_write_guard.py +85 -0
  393. package/templates/claude-hooks/meta_logging.json +74 -0
  394. package/templates/gitignore-trace.txt +3 -0
  395. package/tools/__pycache__/check_skills_inventory.cpython-314.pyc +0 -0
  396. package/tools/arxiv_fetch.py +311 -0
  397. package/tools/capture_filter.py +126 -0
  398. package/tools/check_skills_inventory.py +273 -0
  399. package/tools/convert_skills_to_llm_chat.py +282 -0
  400. package/tools/copilot_native_evidence.py +818 -0
  401. package/tools/deepxiv_fetch.py +213 -0
  402. package/tools/evidence_check.py +212 -0
  403. package/tools/exa_search.py +425 -0
  404. package/tools/experiment_queue/README.md +118 -0
  405. package/tools/experiment_queue/build_manifest.py +44 -0
  406. package/tools/experiment_queue/queue_manager.py +44 -0
  407. package/tools/extract_paper_style.py +560 -0
  408. package/tools/figure_renderer.py +69 -0
  409. package/tools/forensics_gate.py +669 -0
  410. package/tools/generate_codex_claude_review_overrides.py +299 -0
  411. package/tools/idea_discovery_gate.py +256 -0
  412. package/tools/install_aris.ps1 +1372 -0
  413. package/tools/install_aris.sh +1370 -0
  414. package/tools/install_aris_codex.sh +1023 -0
  415. package/tools/install_aris_copilot.sh +1052 -0
  416. package/tools/iteration_log.py +143 -0
  417. package/tools/lint_skills_helpers.sh +84 -0
  418. package/tools/meta_opt/check_ready.sh +80 -0
  419. package/tools/meta_opt/log_event.sh +91 -0
  420. package/tools/meta_opt/trigger_eval.py +280 -0
  421. package/tools/meta_opt/trigger_evals.sample.json +28 -0
  422. package/tools/openalex_fetch.py +326 -0
  423. package/tools/overleaf_audit.sh +104 -0
  424. package/tools/overleaf_setup.sh +150 -0
  425. package/tools/paper_illustration_image2.py +62 -0
  426. package/tools/provenance.py +294 -0
  427. package/tools/research_wiki.py +1720 -0
  428. package/tools/review_gate.py +502 -0
  429. package/tools/run_state.py +399 -0
  430. package/tools/save_trace.sh +477 -0
  431. package/tools/semantic_scholar_fetch.py +438 -0
  432. package/tools/skill-groups.tsv +116 -0
  433. package/tools/skill_picker.py +238 -0
  434. package/tools/smart_update.ps1 +521 -0
  435. package/tools/smart_update.sh +591 -0
  436. package/tools/smart_update_codex.sh +419 -0
  437. package/tools/smart_update_copilot.sh +605 -0
  438. package/tools/threat_scan.py +222 -0
  439. package/tools/verify_paper_audits.sh +487 -0
  440. package/tools/verify_papers.py +613 -0
  441. package/tools/verify_wiki_coverage.sh +176 -0
  442. package/tools/watchdog.py +485 -0
@@ -0,0 +1,228 @@
1
+ ---
2
+ name: openalex
3
+ description: Search academic papers via OpenAlex API for open citation data, institutional affiliations, and funding information. Use when user says "openalex search", "search openalex", "open citation graph", or wants comprehensive academic metadata beyond arXiv/Semantic Scholar.
4
+ argument-hint: "[search-query]"
5
+ allowed-tools: Bash(*), Read, Write
6
+ ---
7
+
8
+ # OpenAlex Academic Search
9
+
10
+ Search query: $ARGUMENTS
11
+
12
+ ## Role & Positioning
13
+
14
+ This skill uses OpenAlex as a **comprehensive open academic graph** source:
15
+
16
+ | Skill | Source | Best for |
17
+ |-------|--------|----------|
18
+ | `/arxiv` | arXiv API | Latest preprints, cutting-edge unrefereed work |
19
+ | `/semantic-scholar` | Semantic Scholar API | Published venue papers (IEEE, ACM, Springer) with citation counts |
20
+ | `/openalex` | OpenAlex API | **Open citation graph, institutional affiliations, funding data, comprehensive metadata** |
21
+ | `/deepxiv` | DeepXiv CLI | Layered reading: search, brief, section map, section reads |
22
+ | `/exa-search` | Exa API | Broad web search: blogs, docs, news, companies, research papers |
23
+ | `/gemini-search` | Gemini MCP / CLI | AI-powered broad literature discovery |
24
+
25
+ Use OpenAlex when you want:
26
+ - **Open citation data** — fully open citation graph (no API key required for basic use)
27
+ - **Institutional affiliations** — author institutions and collaborations
28
+ - **Funding information** — NSF, NIH, and other funding sources
29
+ - **Comprehensive metadata** — topics, keywords, abstract, open access status
30
+ - **Cross-database coverage** — indexes 250M+ works from multiple sources
31
+
32
+ ## Constants
33
+
34
+ - **MAX_RESULTS = 10** — Default number of results. Override with `— max: 20`.
35
+ - **DEFAULT_SORT = relevance** — Sort by relevance. Override with `— sort: citations` or `— sort: date`.
36
+ - **OPENALEX_FETCHER** — canonical name `openalex_fetch.py`, resolved per
37
+ [`shared-references/integration-contract.md`](../shared-references/integration-contract.md) §2
38
+ (Policy D1 — standalone `/openalex` has no documented inline fallback,
39
+ so unresolved helper terminates with an explicit error).
40
+
41
+ > Overrides (append to arguments):
42
+ > - `/openalex "topic" — max: 20` — return up to 20 results
43
+ > - `/openalex "topic" — year: 2023-` — papers from 2023 onward
44
+ > - `/openalex "topic" — year: 2020-2023` — papers from 2020 to 2023
45
+ > - `/openalex "topic" — type: article` — only journal articles
46
+ > - `/openalex "topic" — type: preprint` — only preprints
47
+ > - `/openalex "topic" — open-access` — only open access papers
48
+ > - `/openalex "topic" — min-citations: 50` — minimum 50 citations
49
+ > - `/openalex "topic" — sort: citations` — sort by citation count (descending)
50
+ > - `/openalex "topic" — sort: date` — sort by publication date (newest first)
51
+
52
+ ## Setup
53
+
54
+ ### Prerequisites
55
+
56
+ 1. **Python 3.7+** with `requests` library:
57
+ ```bash
58
+ pip install requests
59
+ ```
60
+
61
+ 2. **Optional: API keys** — Export them in your shell or project environment:
62
+ ```bash
63
+ export OPENALEX_API_KEY=your-key-here
64
+ export OPENALEX_EMAIL=your-email@example.com
65
+ ```
66
+
67
+ 3. **Get API keys** (optional but recommended):
68
+ - **OpenAlex API key**: Free tier $1/day (10,000 list calls, 1,000 search calls) from [openalex.org](https://openalex.org/)
69
+ - **Email for polite pool**: Faster response times (no registration needed)
70
+
71
+ ### Verify Setup
72
+
73
+ ```bash
74
+ python3 "$OPENALEX_FETCHER" search "machine learning" --max 3
75
+ ```
76
+
77
+ (Resolve `$OPENALEX_FETCHER` via the canonical chain first — see Step 2 below.)
78
+
79
+ ## Workflow
80
+
81
+ ### Step 1: Parse Arguments
82
+
83
+ Parse `$ARGUMENTS` for:
84
+ - **query**: The research topic (required)
85
+ - **max**: Override MAX_RESULTS
86
+ - **year**: Publication year filter (e.g., `2023-`, `2020-2023`)
87
+ - **type**: Work type filter (`article`, `preprint`, `book`, `book-chapter`, `dataset`, `dissertation`)
88
+ - **open-access**: Only include open access papers
89
+ - **min-citations**: Minimum citation count threshold
90
+ - **sort**: Sort order (`relevance`, `citations`, `date`)
91
+
92
+ ### Step 2: Locate Script
93
+
94
+ Resolve `$OPENALEX_FETCHER` via the canonical strict-safe chain (see
95
+ [`shared-references/integration-contract.md`](../shared-references/integration-contract.md) §2).
96
+ Policy D1: there is no native inline fallback for OpenAlex
97
+ (retrieval requires the `requests` SDK + optional API key — the
98
+ fetcher script encapsulates pagination, throttling, and per-source
99
+ parameters), so unresolved helper terminates with explicit remediation.
100
+
101
+ ```bash
102
+ cd "$(git rev-parse --show-toplevel 2>/dev/null || pwd)" || exit 1
103
+ if [ -z "${ARIS_REPO:-}" ] && [ -f .aris/installed-skills-codex.txt ]; then
104
+ ARIS_REPO=$(awk -F'\t' '$1=="repo_root"{print $2; exit}' .aris/installed-skills-codex.txt 2>/dev/null) || true
105
+ fi
106
+ OPENALEX_FETCHER=""
107
+ [ -n "${ARIS_REPO:-}" ] && [ -f "$ARIS_REPO/tools/openalex_fetch.py" ] && OPENALEX_FETCHER="$ARIS_REPO/tools/openalex_fetch.py"
108
+ [ -z "$OPENALEX_FETCHER" ] && [ -f tools/openalex_fetch.py ] && OPENALEX_FETCHER="tools/openalex_fetch.py"
109
+ [ -z "$OPENALEX_FETCHER" ] && [ -f ~/.codex/skills/openalex/openalex_fetch.py ] && OPENALEX_FETCHER="$HOME/.codex/skills/openalex/openalex_fetch.py"
110
+ [ -f "$OPENALEX_FETCHER" ] || {
111
+ echo "ERROR: openalex_fetch.py not resolved at \$ARIS_REPO/tools/, tools/, or ~/.codex/skills/openalex/." >&2
112
+ echo " Fix: rerun install_aris_codex.sh, export ARIS_REPO, or copy the helper to ~/.codex/skills/openalex/." >&2
113
+ echo " Also ensure 'requests' is installed: pip install requests" >&2
114
+ exit 1
115
+ }
116
+ ```
117
+
118
+ ### Step 3: Execute Search
119
+
120
+ **Basic search:**
121
+ ```bash
122
+ python3 "$OPENALEX_FETCHER" search "QUERY" --max 10
123
+ ```
124
+
125
+ **With filters:**
126
+ ```bash
127
+ python3 "$OPENALEX_FETCHER" search "QUERY" --max 10 \
128
+ --year 2023- \
129
+ --type article \
130
+ --open-access \
131
+ --min-citations 20 \
132
+ --sort citations
133
+ ```
134
+
135
+ **Get specific work by DOI:**
136
+ ```bash
137
+ python3 "$OPENALEX_FETCHER" work "10.1109/TWC.2024.1234567"
138
+ ```
139
+
140
+ **Get specific work by OpenAlex ID:**
141
+ ```bash
142
+ python3 "$OPENALEX_FETCHER" work "W2741809807"
143
+ ```
144
+
145
+ ### Step 4: Parse Results
146
+
147
+ The script returns structured JSON with:
148
+ - `title`: Paper title
149
+ - `authors`: List of author names
150
+ - `publication_year`: Year published
151
+ - `venue`: Journal/conference name
152
+ - `venue_type`: Type of venue (journal, repository, conference, etc.)
153
+ - `cited_by_count`: Number of citations
154
+ - `is_oa`: Boolean for open access status
155
+ - `oa_status`: Open access type (gold, green, bronze, hybrid, closed)
156
+ - `oa_url`: Direct PDF link if available
157
+ - `doi`: DOI identifier
158
+ - `openalex_id`: OpenAlex work ID
159
+ - `abstract`: Full abstract text
160
+ - `topics`: Top 3 research topics
161
+ - `keywords`: Top 5 keywords
162
+ - `type`: Work type (article, preprint, etc.)
163
+
164
+ ### Step 5: Present Results
165
+
166
+ Format results as a structured table:
167
+
168
+ ```
169
+ | # | Title | Venue | Year | Citations | OA | Summary |
170
+ |---|-------|-------|------|-----------|----|---------|
171
+ | 1 | ... | IEEE TWC | 2024 | 156 | ✓ | ... |
172
+ | 2 | ... | NeurIPS | 2023 | 89 | ✓ | ... |
173
+ ```
174
+
175
+ For each paper, also show:
176
+ - **DOI**: Canonical identifier
177
+ - **OpenAlex ID**: For cross-reference
178
+ - **Open Access**: Status (gold/green/bronze/hybrid/closed) and PDF link
179
+ - **Topics**: Top research topics
180
+ - **Abstract**: First 200 characters or full text
181
+
182
+ ### Step 6: Offer Follow-up
183
+
184
+ After presenting results, suggest:
185
+
186
+ ```text
187
+ /semantic-scholar "DOI:..." — get S2 citation context and related papers
188
+ /arxiv "arXiv:XXXX.XXXXX" — fetch arXiv preprint if available
189
+ /research-lit "topic" — sources: openalex, semantic-scholar — combined multi-source review
190
+ /novelty-check "idea" — verify novelty against literature
191
+ ```
192
+
193
+ ## Key Rules
194
+
195
+ - **OpenAlex is fully open** — no API key required for basic use, but recommended for higher rate limits
196
+ - **Comprehensive metadata** — OpenAlex provides richer metadata than most sources (institutions, funding, topics)
197
+ - **Citation data is open** — unlike Semantic Scholar, all citation data is freely accessible
198
+ - **Rate limits**: Without API key, very limited (~$0.01/day). With free API key: 10,000 list calls/day, 1,000 search calls/day.
199
+ - **Polite pool**: Set `OPENALEX_EMAIL` environment variable for faster response times
200
+ - **Cross-reference with other sources**: OpenAlex indexes papers from arXiv, PubMed, Crossref, etc. — use DOI/arXiv ID to cross-reference
201
+ - If OpenAlex API is unreachable or rate-limited, suggest using `/semantic-scholar`, `/arxiv`, or `/research-lit "topic" — sources: web` as alternatives.
202
+
203
+ ## OpenAlex vs Other Sources
204
+
205
+ | Feature | OpenAlex | Semantic Scholar | arXiv |
206
+ |---------|----------|------------------|-------|
207
+ | **Coverage** | 250M+ works | 200M+ papers | 2.4M+ preprints |
208
+ | **Citation data** | Fully open | Partially open | None |
209
+ | **Institutions** | ✓ Full affiliations | ✓ Limited | ✗ |
210
+ | **Funding** | ✓ NSF, NIH, etc. | ✗ | ✗ |
211
+ | **Open access** | ✓ Full OA status | ✓ PDF links | ✓ All papers |
212
+ | **API key** | Optional (free) | Optional (free) | Not required |
213
+ | **Rate limits** | 1,000 searches/day (free key) | Unknown | 1 req/3s |
214
+ | **Abstract** | ✓ Full text | ✓ TLDR | ✓ Full text |
215
+ | **Best for** | Comprehensive metadata, institutions, funding | Citation counts, venue info | Latest preprints |
216
+
217
+ **When to use OpenAlex over S2:**
218
+ - Need institutional affiliation data
219
+ - Need funding information
220
+ - Want fully open citation graph
221
+ - Need comprehensive topic/keyword metadata
222
+ - Working with non-CS fields (OpenAlex covers all disciplines)
223
+
224
+ **When to use S2 over OpenAlex:**
225
+ - Need real-time citation counts (S2 updates faster)
226
+ - Need "highly influential citations" metric
227
+ - Need paper recommendations
228
+ - CS/AI-focused research (S2 has better CS coverage)
@@ -0,0 +1,220 @@
1
+ ---
2
+ name: overleaf-sync
3
+ description: "Two-way sync between a local paper directory and an Overleaf project, so ARIS audit/edit workflows stay on the local copy while collaborators edit in the Overleaf web UI. Use when user says \"同步 overleaf\", \"overleaf sync\", \"推送到 overleaf\", \"connect overleaf\", \"Overleaf 桥接\", \"pull overleaf\", \"push overleaf\", or wants to bridge their ARIS paper directory with an Overleaf project."
4
+ argument-hint: "[setup <project-id> | pull | push | status]"
5
+ allowed-tools: Bash(*), Read, Grep, Glob, Edit, Write
6
+ ---
7
+
8
+ # Overleaf Sync
9
+
10
+ Bridge a local paper directory with an Overleaf project so that:
11
+
12
+ - **You** can keep editing in the Overleaf web UI (or share editing access with collaborators)
13
+ - **ARIS** can read your changes, run audits (`/paper-claim-audit`, `/citation-audit`, `/auto-paper-improvement-loop`), and push fixes back
14
+
15
+ This uses the official **Overleaf Git bridge** (Premium feature). The agent **never sees your authentication token** — you do the one-time auth manually so the token lives in macOS Keychain, not in chat history or `.git/config`.
16
+
17
+ ## When to Use This Skill
18
+
19
+ - You want to use Overleaf as the editing surface (better collaboration, shared with team) but still run ARIS pipelines locally
20
+ - You want to take an existing local ARIS paper and push it to Overleaf for a co-author to edit
21
+ - A collaborator made changes in Overleaf and you want to pull + diff them before continuing local work
22
+
23
+ ## Constants
24
+
25
+ - **CLONE_DIR_DEFAULT** = `paper-overleaf` (sibling of existing `paper/`, NOT inside `paper/`)
26
+ - **CREDENTIAL_HELPER** = `osxkeychain` (macOS) / `manager` (Windows) / `cache` (Linux fallback)
27
+ - **TOKEN_HANDLING** = **NEVER write token to disk, env var, or chat**. User pastes it once into the terminal credential prompt; the OS keychain stores it from then on.
28
+
29
+ ## Architecture
30
+
31
+ ```
32
+ ┌─────────────────┐ git pull/push ┌─────────────────┐
33
+ │ Local paper/ │ ◄─── rsync ──── ► │ paper-overleaf/ │ ◄──► Overleaf web
34
+ │ (ARIS audits) │ │ (git bridge) │ (collaborators)
35
+ └─────────────────┘ └─────────────────┘
36
+ ```
37
+
38
+ The `paper-overleaf/` directory is a **git clone of the Overleaf project**. The `paper/` directory is the working copy where ARIS skills run. They are kept in sync via `rsync`.
39
+
40
+ **Single-source-of-truth rule**: at any given time, treat *one* of them as authoritative for active editing. Switch directions explicitly with `pull` or `push`, and run a `status` check before either to surface unexpected divergence.
41
+
42
+ ## Sub-commands
43
+
44
+ ### `setup <project-id>` — one-time
45
+
46
+ Sets up the bridge for a new Overleaf project. **The user runs this in their own terminal, never through the agent.** The skill ships with a hardened setup script that:
47
+
48
+ 1. Refuses to run unless stdin/stdout are a TTY (won't run inside an agent harness)
49
+ 2. Reads the token from a hidden prompt (no chat history, no shell history)
50
+ 3. Strips the token from the remote URL immediately after cloning
51
+ 4. Primes the OS keychain so subsequent agent operations are auth-free
52
+ 5. **Auto-installs a `pre-commit` hook in `paper-overleaf/.git/hooks/` that refuses to commit any blob containing the token pattern `olp_[A-Za-z0-9]{20,}`** — a hard technical block, not a behavioral rule
53
+
54
+ The agent's only role here is to print the user instruction:
55
+
56
+ ```
57
+ Run this in your own terminal (NOT through me):
58
+
59
+ bash <ARIS_REPO>/tools/overleaf_setup.sh <project-id-or-url>
60
+
61
+ When it finishes, tell me "setup done" and I'll verify.
62
+ ```
63
+
64
+ After the user reports "setup done", the agent verifies (token-free):
65
+
66
+ ```bash
67
+ cd paper-overleaf
68
+ git remote -v # must show URL WITHOUT token
69
+ git config --get credential.helper
70
+ git fetch && git log --oneline -3 # must succeed without prompting
71
+ ls .git/hooks/pre-commit # must exist
72
+ bash <ARIS_REPO>/tools/overleaf_audit.sh . # must report "Audit clean"
73
+ ```
74
+
75
+ If `paper-overleaf/` exists but is empty (new Overleaf project), the agent then mirrors local `paper/` into it (see `push` workflow).
76
+
77
+ ### `pull` — before each editing session
78
+
79
+ ```bash
80
+ cd paper-overleaf && git pull --ff-only
81
+
82
+ # Show what changed since last pull
83
+ LAST=$(git rev-parse HEAD@{1})
84
+ git diff --stat $LAST..HEAD
85
+ git diff $LAST..HEAD -- 'sec/*.tex' # detailed view for prose changes
86
+ ```
87
+
88
+ **Diff protocol — DO NOT blindly merge into local `paper/`.** Overleaf edits frequently include:
89
+
90
+ - **Half-finished sentences** (collaborator clicked save mid-thought)
91
+ - **Typos** that aren't in canonical references (`Lrage` for `Large`)
92
+ - **Commented-out blocks** that may be intentional or may be a stash
93
+ - **Number changes** that should re-trigger `/paper-claim-audit`
94
+ - **Cite key changes** that should re-trigger `/citation-audit`
95
+
96
+ For each diff hunk, decide one of:
97
+
98
+ | Hunk character | Action |
99
+ |----------------|--------|
100
+ | Clean editorial improvement | Sync into `paper/`, no audit needed |
101
+ | Numerical / claim change | Sync, then re-run `/paper-claim-audit` |
102
+ | New `\cite{...}` | Sync, then re-run `/citation-audit` |
103
+ | Half-sentence / obvious typo | Flag to user, do NOT auto-sync |
104
+ | New section / restructure | Stop, ask user before syncing |
105
+
106
+ After deciding per-hunk:
107
+
108
+ ```bash
109
+ # Sync only the files the user approved into local paper/
110
+ rsync -av paper-overleaf/sec/0.abstract.tex paper/sec/0.abstract.tex
111
+ # (or use Edit tool for surgical changes that skip half-sentences)
112
+ ```
113
+
114
+ ### `push` — after local editing
115
+
116
+ Use after ARIS skills have edited `paper/` and you want collaborators on Overleaf to see the changes.
117
+
118
+ ```bash
119
+ # 1. Always pull first to surface remote drift
120
+ cd paper-overleaf && git pull --ff-only
121
+
122
+ # 2. If pull was a no-op, sync local paper → paper-overleaf
123
+ rsync -av --delete \
124
+ --exclude='.git' --exclude='.DS_Store' \
125
+ --exclude='*.aux' --exclude='*.log' --exclude='*.bbl' --exclude='*.blg' \
126
+ --exclude='*.fls' --exclude='*.fdb_latexmk' --exclude='*.out' \
127
+ --exclude='*.synctex.gz' --exclude='*.toc' \
128
+ paper/ paper-overleaf/
129
+
130
+ # 3. Show what would be pushed
131
+ git status --short
132
+ git diff --stat
133
+
134
+ # 4. Commit + push
135
+ git add -A
136
+ git commit -m "<descriptive message — what ARIS changed and why>"
137
+ git push
138
+ ```
139
+
140
+ **Commit message protocol**: include the ARIS skill that produced the change so collaborators on Overleaf understand provenance. Examples:
141
+
142
+ - `paper-write: regenerated sec/3.assurance after audit cascade refactor`
143
+ - `citation-audit: fix 14 metadata entries (madaan2023, lee2024, ...)`
144
+ - `paper-claim-audit: correct sec/5 numbers vs results/run_2026_04_19.json`
145
+
146
+ **Confirmation gate**: `push` writes to a shared resource. ALWAYS show the user `git diff --stat` (and a representative hunk for prose changes) before running `git push`. Wait for explicit confirmation unless the user said `auto: true` upfront.
147
+
148
+ ### `status` — diagnostic
149
+
150
+ ```bash
151
+ cd paper-overleaf
152
+ git fetch
153
+ echo "=== Remote-vs-local divergence ==="
154
+ git log --oneline HEAD..origin/master # remote ahead
155
+ git log --oneline origin/master..HEAD # local ahead
156
+ echo "=== paper/ vs paper-overleaf/ divergence ==="
157
+ diff -rq --brief paper/ paper-overleaf/ 2>/dev/null \
158
+ | grep -v "Only in paper/.*\.\(aux\|log\|out\|fls\|fdb_latexmk\|bbl\|blg\|synctex\|toc\)" \
159
+ | grep -v "Only in paper-overleaf/.git" \
160
+ | grep -v "DS_Store"
161
+ ```
162
+
163
+ Three-way state assessment:
164
+
165
+ | Remote ahead? | paper/ vs paper-overleaf/ differ? | Meaning | Recommended action |
166
+ |:-------------:|:---------------------------------:|---------|--------------------|
167
+ | No | No | Clean | Nothing to do |
168
+ | Yes | No | Overleaf has new edits | Run `pull`, then re-run status |
169
+ | No | Yes | Local ARIS edits unsynced | Run `push` |
170
+ | Yes | Yes | Diverged — needs merge | Stop, surface to user, do NOT auto-resolve |
171
+
172
+ ## Conflict Resolution
173
+
174
+ If `git pull --ff-only` fails because of true divergence:
175
+
176
+ 1. **Do not** run `git pull` (which would auto-merge).
177
+ 2. **Do not** run `git reset --hard` or `git push --force` (destructive).
178
+ 3. Show the user `git log origin/master ^HEAD` (their Overleaf commits) and `git log HEAD ^origin/master` (local ARIS commits).
179
+ 4. Ask the user which side to take per file, or to manually merge in Overleaf and then re-pull.
180
+
181
+ ## Token Security — Defense in Depth
182
+
183
+ Behavioral rules alone are not enough — the next agent reading this skill might forget them. The skill therefore relies on **technical guards** that hold even if the agent misbehaves:
184
+
185
+ | Layer | Guard | Where enforced |
186
+ |-------|-------|---------------|
187
+ | 1. Setup | `overleaf_setup.sh` refuses to run without an interactive TTY (agents don't have one) | `tools/overleaf_setup.sh` |
188
+ | 2. Input | Token is read by `read -s` (hidden prompt, no shell history, never enters chat) | `tools/overleaf_setup.sh` |
189
+ | 3. Storage | Token goes straight into OS keychain via `git credential approve`; remote URL is stripped to a token-free form | `tools/overleaf_setup.sh` |
190
+ | 4. Commits | `paper-overleaf/.git/hooks/pre-commit` greps staged content for `olp_[A-Za-z0-9]{20,}` and aborts | auto-installed by setup script |
191
+ | 5. Audit | `overleaf_audit.sh` scans working tree, remote URLs, git history, credential files | `tools/overleaf_audit.sh` |
192
+
193
+ Behavioral rules (still apply, but secondary):
194
+
195
+ - **Never** ask the user to paste a token into chat. If they do anyway: (a) acknowledge it, (b) tell them to revoke it at https://www.overleaf.com/user/settings, (c) recover via keychain if already primed.
196
+ - **Never** write a token to a file (`.env`, `.netrc`, `tools/*.sh`, etc.) committed to any repo.
197
+ - **Never** include a token in a `git remote -v` URL — strip it after clone.
198
+ - On `401 Unauthorized` from push/pull, tell the user the keychain entry expired and to re-run `overleaf_setup.sh`. Do **not** ask for a fresh token.
199
+
200
+ ## Mutual-Exclusion Rule
201
+
202
+ The single biggest source of pain in two-way sync is **simultaneous editing on both sides**.
203
+
204
+ - If the user is in an active Overleaf editing session, ARIS skills should **read-only** access `paper/` until the user runs `/overleaf-sync pull`.
205
+ - If ARIS is in the middle of `/auto-paper-improvement-loop` or `/paper-write`, the user should pause Overleaf editing until the loop finishes and `/overleaf-sync push` is run.
206
+
207
+ When in doubt, run `status` first.
208
+
209
+ ## Output Contract
210
+
211
+ - `paper-overleaf/` directory at repo root, git clone of Overleaf project (origin URL has NO token)
212
+ - `paper/` directory unchanged in role — still the ARIS working copy
213
+ - Each `pull`/`push` operation: a one-line summary back to the user (commits pulled / pushed, file count, link to Overleaf project URL)
214
+
215
+ ## See Also
216
+
217
+ - `/paper-claim-audit` — re-run after pulling Overleaf changes that touch numbers
218
+ - `/citation-audit` — re-run after pulling Overleaf changes that add/edit `\cite{...}`
219
+ - `/paper-compile` — local LaTeX build; Overleaf compiles independently in the cloud
220
+ - Overleaf Git bridge docs: https://www.overleaf.com/learn/how-to/Using_Git_and_GitHub