Plugins

ARIS-Research-Workflow-Skills als DeepSeek-Harness-Bundle: 82 Skills plus adversarische Prüfung zwischen Modellen über Codex.

AI-for-Science-Forschungs-Workflow-Skill für DeepSeek Harness, für Forscher und Doktoranden mit agentenbasierter KI: mehrwinklige Literaturrecherche mit Dateien pro Winkel, Experimentdesign mit Caveat-Liste, Abbildungen und Paper-Lesen; jeder Job gibt Dateien sowie ein Cross-Verification-Briefing für ein zweites Modell zurück. Null Abhängigkeiten, MIT.

Fragegesteuerter Discovery-Forschungsworkflow für DeepSeek Harness mit einem QDD-Agenten-Preset, dauerhaften manuellen und automatischen Ausführungen und einem prüffähigen Forschungspanel.

Strenge offene Mathematik-Forschungssuite: vier agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) für das Beweisen von Theoremen mit adversarialem Audit, Verwaltung von Forschungsprogrammen, Pipeline-Orchestrierung und Lean-4-Formalisierungsprüfung; CI-verifizierte Tests und mechanische Upstream-Synchronisierung.