Digit-AI Factory

Fabrication logicielle sous oracles

Forge — Sur mandat humain

forge-agents-security

Elles interviennent sur mandat humain explicite — jamais par déclenchement automatique.

Rôle dans le run sécurité agentique

Ses services — 3 au catalogue, 3 prouvés

Ce que vous obtenez, ce qui entre, ce qui sort — et, pour les services prouvés, la preuve citée telle quelle.

  1. Scanner un agent (statique)

    prouvé
    Ce que vous obtenez
    vérifier qu'un agent défini ne porte pas de capacités dangereuses
    Il reçoit
    • agent.def | subagent compilé (.claude\agents\*.md)
    Il produit
    • verdict CAP-1..4 (capacités, outils hors référentiel, permissions, motifs d'exfiltration), exit 0/1/2

    La preuve qui l'établit

    TF-0111 (12/08) : self-test double sens 24 PASS rejoué pilot ; 20 fixtures synthétiques

    Cycle de vie : experimental · Dernier challenge : 2026-08-12
  2. Scanner les appels d'outils (dynamique)

    prouvé
    Ce que vous obtenez
    détecter les patterns d'attaque dans un journal d'exécution d'agent
    Il reçoit
    • journal JSONL (FORMAT-JOURNAL.md) + --perimetre obligatoire
    Il produit
    • verdict TC-1..5 (exfiltration deny-by-default, destruction, secrets, payloads encodés, écriture hors périmètre), fail-closed

    La preuve qui l'établit

    TF-0111 (12/08) : chaque pattern prouvé rouge avec son cas légitime voisin vert (faux positifs mesurés)

    Cycle de vie : experimental · Dernier challenge : 2026-08-12
  3. Rejouer un corpus d'injection de prompt

    prouvé
    Ce que vous obtenez
    savoir si une charge d'injection a TRAVERSÉ jusqu'à un acte de mon agent
    Il reçoit
    • corpus\injection-prompt.jsonl (34 charges : 17 directes, 17 indirectes)
    • une définition d'agent ou un journal d'appels d'outils
    Il produit
    • INJ-2 traversée (bloquant) · INJ-3 ingestion sans effet (info) · mapping vers le LLM Top 10, catégories non couvertes déclarées

    La preuve qui l'établit

    TF-0188 (14/08) : self-test 38 PASS (24 avant), dont 2 voisins légitimes qui NE déclenchent pas. Rejeu PASSIF sur artefact : aucun modèle sollicité, donc la résistance d'un système vivant n'est pas mesurée

    Cycle de vie : experimental · Dernier challenge : 2026-08-14

Poursuivre la lecture