24 dépôts à voir,
un état précis.

icaros-usc/pyribs

Relation avec GenOS

Piste de recherche qualité-diversité pour Morphogenèse, Biome et Métapopulation.

Impact constaté

Aucun impact direct sur le code : GenOS sélectionne ses topologies avec ses propres services, sans archive pyribs.

Possibilité à tester

Pourrait conserver un répertoire d’organisations différenciées par coût, robustesse et adéquation aux missions, puis choisir un candidat mesuré.

SakanaAI/ShinkaEvolve

Relation avec GenOS

Référence pour la recherche évolutionnaire bornée autour des heuristiques GVX.

Impact constaté

Aucun impact direct sur le code : ShinkaEvolve ne génère ni ne promeut les heuristiques GenOS.

Possibilité à tester

Pourrait proposer des variantes de sélection de workers ou d’allocation de budgets, tandis que GVX évaluerait et autoriserait indépendamment leur promotion.

jennyzzt/dgm

Relation avec GenOS

Point de comparaison scientifique pour les lignées d’agents de programmation auto-modifiants.

Impact constaté

Aucun impact direct sur le code : GenOS conserve déjà AgentDNA, forks et lignées sans exécuter DGM.

Possibilité à tester

Pourrait servir de concurrent contrôlé à GVX sur les mêmes tâches et budgets, en conservant les candidats intermédiaires dans la comparaison.

py-why/dowhy

Relation avec GenOS

Méthode candidate pour estimer si les interventions SHEV ont causé les effets observés.

Impact constaté

Aucun impact direct sur le code : GenOS enregistre et vérifie des effets, sans exécuter les estimateurs ni les tests de réfutation DoWhy.

Possibilité à tester

Pourrait estimer et mettre à l’épreuve l’effet d’une intervention lorsque des données longitudinales et des hypothèses causales explicites sont disponibles.

UKGovernmentBEIS/inspect_ai

Relation avec GenOS

Banc d’évaluation Python externe et optionnel, séparé du runtime GenOS.

Impact constaté

A ajouté quatre tâches déterministes et trois bras appariés : modèle seul, topologie imposée et Morphogenèse. L’évaluateur se trouve hors de GenOS.

Ce que GenOS peut faire

Permet de lancer une comparaison notée indépendamment dès qu’un vrai runner multibras est fourni ; aucun résultat de modèle ou de topologie n’est encore publié.

Dans GenOSbenchmarks/inspect-ai/

dubzzz/fast-check

Relation avec GenOS

Dépendance directe du backend pour les tests par propriétés.

Impact constaté

A ajouté des cas générés avec graine fixe pour les leases MCP, les limites de Morphogenèse locale et les transitions de promotion, avec réduction des contre-exemples.

Ce que GenOS peut faire

Permet de trouver de petites séquences qui violent ces invariants de sécurité. Les adaptateurs de test ne prouvent ni l’exécution réelle des workers ni la restauration.

Dans GenOSbackend/tests/test_property_invariants.js

ethz-spylab/agentdojo

Relation avec GenOS

Banc de sécurité externe possible pour les agents utilisant des outils.

Impact constaté

Aucun impact direct sur le code : GenOS possède des tests adversariaux internes, sans tâches ni runner d’attaque AgentDojo.

Possibilité à tester

Pourrait mesurer si des contenus web, d’outils ou de mémoire non fiables détournent un agent GenOS, tout en mesurant l’achèvement de la tâche légitime.

ServiceNow/BrowserGym

Relation avec GenOS

Environnement externe de tâches web pour comparer les organisations agentiques.

Impact constaté

Aucun impact direct sur le code : Playwright vérifie des parcours bornés, mais GenOS n’exécute pas les suites BrowserGym.

Possibilité à tester

Pourrait comparer un worker seul, des topologies fixes et Morphogenèse sur les mêmes missions navigateur et les mêmes budgets.

cedar-policy/cedar

Relation avec GenOS

Dépendance d’autorisation directe de v3 local via le package WASM officiel Cedar.

Impact constaté

A ajouté une politique validée et des contrôles StartMission/Control dans le service d’autorité des agents ; parenté ou coopération ne donnent pas seules une permission.

Ce que GenOS peut faire

Permet de refuser un lancement de mission ou un contrôle d’agent non autorisé à ces frontières. Cette politique ne couvre pas encore tous les outils GenOS.

Dans GenOSbackend/src/services/cedarAgentAuthority.js

eclipse-biscuit/biscuit-rust

Relation avec GenOS

Piste de délégation atténuable entre orchestrateurs et workers.

Impact constaté

Aucun impact direct sur le code : les leases GenOS sont internes et aucun jeton Biscuit n’est émis ou vérifié.

Possibilité à tester

Pourrait transmettre un jeton vérifiable qu’un worker en aval peut restreindre sans pouvoir l’élargir.

bytecodealliance/wasmtime

Relation avec GenOS

Couche d’isolation WebAssembly potentielle pour les organes exécutables et les plugins.

Impact constaté

Aucun impact direct sur le code : GenOS n’exécute pas ses plugins dans Wasmtime.

Possibilité à tester

Pourrait exécuter du code candidat dans un périmètre d’imports et de ressources explicite, avant l’examen de ses résultats par les gates de promotion GenOS.

jedisct1/libsodium

Relation avec GenOS

Bibliothèque cryptographique candidate pour l’état agentique scellé et transportable.

Impact constaté

Aucun impact direct sur le code : les empreintes de capsules GenOS détectent une altération, mais libsodium n’est pas une dépendance.

Possibilité à tester

Pourrait ajouter le chiffrement authentifié des spores ou capsules transportées après définition de la gestion des clés et des règles de restauration.

OpenHands/software-agent-sdk

Relation avec GenOS

Adaptateur ou comparateur possible pour les workers de développement logiciel.

Impact constaté

Aucun impact direct sur le code : les workers de programmation GenOS utilisent leurs propres interfaces d’exécution, pas le SDK OpenHands.

Possibilité à tester

Pourrait fournir une interface commune vers un environnement logiciel pour comparer les workers GenOS à un agent de programmation externe.

microsoft/playwright

Relation avec GenOS

Dépendance directe d’automatisation navigateur dans le vérificateur de parcours web GenOS.

Impact constaté

A ajouté des actions et assertions Chromium bornées, une liste d’hôtes autorisés et des reçus de preuve hachés ; v3 local réutilise ce vérificateur dans les audits SHEV.

Ce que GenOS peut faire

Permet de vérifier qu’un parcours réel fonctionne encore après une intervention et de conclure confirmé, régressé ou inconclusif.

Dans GenOSbackend/src/services/webJourneyVerifier.js

GoogleChrome/lighthouse

Relation avec GenOS

Capteur direct de qualité web dans v3 local, appelé par le flux d’audit SHEV.

Impact constaté

A ajouté des scores Lighthouse à seuils aux reçus d’audit web et aux contrôles d’effet avant/après.

Ce que GenOS peut faire

Permet de détecter une régression mesurée des scores choisis de performance, accessibilité, bonnes pratiques ou SEO ; le résultat dépend de l’environnement navigateur.

Dans GenOSbackend/src/services/webAuditSensors.js

dequelabs/axe-core

Relation avec GenOS

Capteur direct d’accessibilité dans v3 local via @axe-core/playwright.

Impact constaté

A ajouté les nombres de violations de règles et des seuils explicites aux reçus d’audit web et aux contrôles d’effet SHEV.

Ce que GenOS peut faire

Permet de détecter des régressions d’accessibilité automatisables après un changement ; un audit vert ne remplace pas une revue humaine.

Dans GenOSbackend/src/services/webAuditSensors.js

temporalio/temporal

Relation avec GenOS

Architecture de référence pour les workflows distribués de longue durée.

Impact constaté

Aucun impact direct sur le code : GenOS persiste et relance l’état des workflows avec SQLite, sans serveur Temporal.

Possibilité à tester

Pourrait fournir un historique durable des activités et une reprise quand des opérations externes couvrent plusieurs workers ou machines, après étude d’intégration.

automerge/automerge

Relation avec GenOS

Bibliothèque CRDT possible pour l’état partagé de Syncytium.

Impact constaté

Aucun impact direct sur le code : Syncytium possède ses opérations CRDT ordonnées par horloge de Lamport ; Automerge n’est pas raccordé.

Possibilité à tester

Pourrait fusionner des annotations ou cartes de travail modifiées hors ligne, tandis que les décisions d’autorité et de promotion resteraient hors du document fusionné.

TimelyDataflow/differential-dataflow

Relation avec GenOS

Moteur de calcul incrémental potentiel pour Rhizome et la propagation des dépendances.

Impact constaté

Aucun impact direct sur le code : GenOS n’utilise pas Differential Dataflow pour mettre à jour ses graphes.

Possibilité à tester

Pourrait recalculer seulement les conséquences d’une croyance, d’un worker ou d’une relation modifiés si le profilage montre un coût de recalcul complet.

capnproto/capnproto

Relation avec GenOS

Format de transport candidat pour les messages internes typés et volumineux.

Impact constaté

Aucun impact direct sur le code : GenOS utilise MessagePack et des outils liés à protobuf, pas Cap’n Proto.

Possibilité à tester

Pourrait réduire taille ou latence des messages sur des chemins chauds mesurés si le coût des schémas et des bindings justifie la migration.

lean-dojo/LeanDojo-v2

Relation avec GenOS

Référence spécialisée pour tracer les états de preuve Lean et chercher des tactiques.

Impact constaté

Aucun impact direct sur le code : GenOS comporte du travail de vérification Lean, sans pipeline LeanDojo-v2.

Possibilité à tester

Pourrait conserver les états de preuve bloqués et retrouver tactiques ou lemmes pertinents ; Lean continuerait de valider la preuve finale.

dafny-lang/dafny

Relation avec GenOS

Méthode formelle candidate pour de petites machines à états critiques du runtime.

Impact constaté

Aucun impact direct sur le code : GenOS ne compile ni ne vérifie de modèle Dafny pour ses leases, budgets ou gates de promotion.

Possibilité à tester

Pourrait vérifier un modèle de référence puis tester la conformité de l’implémentation existante ; cela ne prouverait pas automatiquement le code JavaScript ou Rust.

mlc-ai/xgrammar

Relation avec GenOS

Composant potentiel de décodage contraint pour un langage de commandes compact.

Impact constaté

Aucun impact direct sur le code : GenOS valide des sorties structurées, sans invoquer XGrammar pendant le décodage du modèle.

Possibilité à tester

Pourrait imposer des commandes syntaxiquement valides avec un moteur d’inférence compatible ; GenOS devrait toujours vérifier leur sens et leur autorisation.

open-telemetry/opentelemetry-collector

Relation avec GenOS

Couche de collecte possible pour les traces, métriques et journaux GenOS.

Impact constaté

Aucun impact direct sur le code : GenOS persiste des spans internes, sans exporteur Collector natif ni propagation W3C uniforme.

Possibilité à tester

Pourrait corréler la télémétrie des missions, workers, topologies, coûts et reprises entre services après instrumentation et filtrage des données sensibles.