Développeurs
Relire les responsabilités, composer des agents et tester aussi les actions qui doivent être refusées.
Pourquoi Touba
Un agent qui fonctionne ne suffit pas. Il faut savoir ce qu’il peut faire.
Un résultat convaincant ne dit pas quels accès ont été accordés, qui pouvait déclencher un effet ou où une validation humaine était nécessaire. Lorsque ces règles restent dans les prompts et les conventions, leur respect dépend de chaque chemin d’intégration.
Touba relie les règles exprimables dans ses contrats à des contrôles d’exécution : capacités déclarées, limites, validations humaines et traces. L’intention du modèle ne remplace pas l’autorisation.
Lire Pourquoi ToubaOrganisations
Traduire les règles applicables en contraintes techniques vérifiables, avec des responsabilités explicites.
Utilisateurs
Faire de l’information, de la validation humaine et de la traçabilité des exigences du système.
Touba Explorer
Gardez une vue d’ensemble de votre projet
Ouvrez la carte de votre projet pour retrouver ses agents, ses outils, ses parcours et ses autorisations.
Découvrir nos trois favoristouba explore
Mission de recherche
Comprendre l’IA agentique et construire des réponses vérifiables
PAP et Touba produisent des ressources qui peuvent être évaluées et réutilisées dans des contextes industriels. Leur objectif premier reste la recherche : comprendre les enjeux techniques, organisationnels et sociétaux de l’IA agentique, puis développer des modèles de programmation, des outils et des preuves capables d’y répondre.
Découvrir le programme de rechercheLes personnes, équipes et institutions engagées pour une IA responsable, sûre, sécurisée, transparente et inclusive sont invitées à contribuer à cet effort.
Benchmarks
Évaluer les résultats et les contrôles
L’évaluation examine les résultats métier, l’influence des interfaces présentées aux modèles et le respect des responsabilités déclarées. Les résultats et les conditions de mesure sont réunis sur la page Benchmarks.
Voir les benchmarksTéléchargements
Distributions Touba par plateforme
Téléchargez la distribution correspondant à votre plateforme, puis vérifiez l’archive avant de l’installer. Toutes les architectures publiées restent accessibles depuis le Hub.
Choisissez votre plateforme
macOS
Processeur
138 Mo
sha2568f4eda4c774554347e66127be7d7ef5b6a3cb8ff2e48aa7554a6307a85e96361
Autres plateformesToutes les archives et empreintes
Ressources publiques
Les ressources publiques de l’écosystème Touba
Le programme Touba relie des ressources publiques distinctes : recherche, langage, documentation, expérience développeur, bibliothèque de capacités et registre de distribution.
Programme de recherche
Probabilistic Agentic Programming
Vue publique de Probabilistic Agentic Programming et des systèmes agentiques gouvernés.
Ouvrir la ressourceLangage et runtime
Touba
Langage, compilateur, runtime, CLI et SDK. Le dépôt du langage sera prochainement accessible sur GitHub sous licence Apache 2.0.
Ouvrir la ressourceDocumentation publique
Touba Docs
Documentation officielle pour l’installation, les concepts, les références, les guides et le Hub.
Ouvrir la ressourceExtension VS Code
Touba Language Toolkit
Support éditeur, syntaxe, diagnostics et commandes pour travailler avec les fichiers Touba.
Ouvrir la ressourceCapacités réutilisables
Touba Library
Bibliothèque de packages Touba suivant le contrat commun du langage.
Ouvrir la ressourceFondation
Un récit stable : paradigme, contrat, exécution
Touba part d’un paradigme, écrit l’autorité comme code, compile vers un contrat observable, puis exécute ce contrat avec des bornes visibles.
PAP
Le paradigme de responsabilité explicite
Un paradigme pour traiter l’autonomie agentique comme une responsabilité de programmation gouvernée, pas seulement comme une suite de prompts.
AIR
Agentic Intermediate Representation
Le contrat compilé qui relie source .tb, runtime, traces, CLI et surfaces Touba sans laisser chaque outil redéfinir la sémantique.
Touba
Thinking Orchestration Using Bounded Agency
Un langage et un runtime de référence pour rendre visibles les bornes, les tools, les validations, les refus et les preuves d’exécution.
Positionnement
Une sémantique d’exécution pour l’autorité agentique
Touba relie les responsabilités déclarées aux contrôles d’exécution. Les handlers JavaScript et Python portent vos appels API et votre logique métier ; les traces permettent de suivre les décisions et les actions.
Comprendre ToubaLecture rapide
Quoi, pourquoi, comment, qui
En quoi ?
Touba apporte Agents as Code aux systèmes agentiques gouvernés : langage .tb, AIR, runtime, traces, manifests, locks, CLI, serveur de projet et extension VS Code.
Pourquoi ?
Les systèmes agents courants dispersent responsabilité, autorité, mémoire, tools, validation et traces entre prompts, middleware, logs et discipline d’équipe.
Comment ?
Le code Touba est compilé en AIR, exécuté par un runtime borné, relié aux handlers par manifest explicite, puis observé par des traces exploitables.
Qui ?
Khadim Lo, Jean-Sébastien Dessureault et Soukaina Alaoui Ismaili étudient l’IA agentique et développent les fondements, le langage et les outils Touba.
Capacités disponibles
Un socle exécutable pour workflows agentiques gouvernés
Composez des agents, des skills et des workflows séquentiels ou parallèles. Reliez vos ressources avec les SDK JavaScript et Python. Déclarez les accès, budgets et validations, puis inspectez les traces de chaque exécution.