Plugin

Skill del flusso di lavoro di ricerca ARIS come bundle DeepSeek Harness: 82 skill più revisione avversariale cross-model tramite Codex.

Skill di flusso di lavoro di ricerca AI-for-Science per DeepSeek Harness, rivolto a ricercatori e studenti post-laurea che usano IA agentica: revisione della letteratura multi-angolo con file per angolo, progettazione di esperimenti con elenco di caveat, lettura di figure e articoli; ogni lavoro restituisce file più un briefing di verifica incrociata per un secondo modello. Zero dipendenze, MIT.

Flusso di lavoro di ricerca a Scoperta Guidata dalle Domande per DeepSeek Harness con un Preset Agente QDD, esecuzioni Manuali e Automatiche durevoli e un pannello di ricerca verificabile.

Suite rigorosa di ricerca matematica open: quattro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) per la dimostrazione di teoremi con audit avversariale, gestione del programma di ricerca, orchestrazione della pipeline e audit di formalizzazione Lean 4; test verificati in CI e sincronizzazione meccanica con upstream.