Plugins

ARIS research-workflow skills as a DeepSeek Harness bundle: 82 skills plus cross-model adversarial review through Codex.

AI-for-Science research workflow skill for DeepSeek Harness, aimed at researchers and grad students using agentic AI: multi-angle literature review with per-angle files, experiment design with a caveat list, figures and paper reading; each job returns files plus a cross-verification brief for a second model. Zero deps, MIT.

Question-Driven Discovery research workflow for DeepSeek Harness with a QDD Agent Preset, durable Human and Auto runs, and an auditable research panel.

Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.