Le layer sémantique et de raisonnement pour les agents IA
SynaLemma répond aux questions sur vos données métier avec des règles formellement vérifiées, compilées de façon déterministe en SQL et gouvernées comme du code, sur votre propre infrastructure.
- Formellement vérifié
- Sûr par construction
- Requêtes de graphe sur SQL
- Souverain par construction
- Gouverné comme du code
- 1,4 k étoiles GitHub
- Apache-2.0 moteurs open source
- Équipe formée au LAAS-CNRS
- Basée dans l'Union européenne
La même question à trois agents IA. Trois chiffres différents.
Chaque agent écrit un SQL valide et devine ce que « stock disponible » veut dire. Aucune erreur visible, et personne ne peut retracer le chiffre.
| Agent | Pour lui, le stock disponible, c'est… | Réponse |
|---|---|---|
| Premier | tout ce qui est en stock | 1 240 |
| Deuxième | le stock, moins les réservations pour les ordres de fabrication | 870 |
| Troisième | le stock moins les réservations, plus les commandes d'achat en attente | 2 070 |
SynaLemma écrit la définition une fois, la vérifie, et chaque réponse utilise cette même règle.
D'une question à une réponse vérifiée.
- permissions réglables
- accès délimités
- Lemma limité à votre rôle
- réutilise avant d'écrire
- répond via ses règles
- demande si c'est ambigu
- respecte les verrous
- concepts et règles versionnés dans git
- chaque modification vérifiée avant d'être enregistrée
- compilée en SQL
- chaque réponse cite sa règle
-
PostgreSQL -
BigQuery -
Databricks -
DuckDB -
Trino -
Presto -
SQLite
Personne, humain ou agent, n'interroge vos bases autrement que par des règles vérifiées.
- Fait partie de SynaLemma
- Extérieur, relié à SynaLemma
- Ce qui transite, dans le sens de la flèche
- 1
Connecter votre base
PostgreSQL, BigQuery, Databricks, Trino, Presto, DuckDB, SQLite ou des fichiers. Interrogée sur place, rien n'est migré.
- 2
Poser une question
L'analyste réutilise une règle existante ou en écrit une nouvelle. Le moteur la vérifie et l'exécute sur vos tables.
- 3
Obtenir la réponse et sa règle
Chaque chiffre cite la règle dont il vient. Vos équipes peuvent la lire, la corriger ou la verrouiller.
Cinq propriétés, un layer sémantique et de raisonnement.
Une définition par terme métier.
Stock disponible, retard de livraison, fournisseur critique : chacun est écrit une fois, comme concept ou règle sur vos tables, et chaque personne et chaque agent l'utilise.
- Construit sur vos tables telles qu'elles sont, rien n'est copié
- Un graphe de connaissances de ce qui dépend de quoi
- Grandit dès la première question, sans projet de modélisation préalable
Le moteur logique raisonne, pas le modèle.
Le modèle traduit votre question en règle. Le moteur fait chaque jointure, récursion et total, dans les bases que vous exploitez déjà.
- Des questions de graphe sans base graphe : hiérarchies, nomenclatures, chaînes d'approvisionnement
- Une récursion dont la terminaison est vérifiée
- Pas d'ETL, pas de seconde base, pas de migration
Chaque règle est prouvée avant de s'exécuter.
Un vérificateur symbolique contrôle chaque règle, et des assertions en logique du premier ordre contrôlent vos données.
- Bien formée, sûre et qui termine, ou refusée avec le motif
- Les assertions renvoient les lignes qui les contredisent
- Contrôlé par la logique, pas par un second modèle
Même règle, même SQL.
Le modèle n'écrit jamais la requête. Le moteur la compile à partir d'une règle : une fois une définition écrite, chaque question qui l'utilise obtient la même requête, pour chaque personne et chaque agent.
- Un SQL compilé par le moteur, pas généré à chaque question
- Les règles existantes réutilisées avant d'en écrire une nouvelle
- Les définitions établies verrouillées : aucun agent ne peut les changer
Chaque accès encadré, chaque changement tracé.
L'agent écrit des règles, pas du SQL, et seulement avec les droits de la personne qui demande. Chaque changement d'une définition est un commit relu.
- Un SQL en lecture seule, sur les seules tables déclarées ; le SQL brut est refusé avant exécution
- Quatre rôles et des droits par personne, Lemma limité au rôle de qui demande
- Chaque changement est un commit avec son auteur, relu et réversible
Order(order_id:, amount:) :- orders(order_id:, amount:);
Cleanup(order_id:) :-
Order(order_id:),
order_id == SqlExpr("0; DROP TABLE orders; --", {});Déployé sur votre infrastructure, par des partenaires certifiés.
- Des partenaires certifiés le déploient et établissent chaque définition avec vos équipes
- Installé sur votre infrastructure, avec le modèle de votre choix
- Souverain par construction, pas par contrat : sans frais au token, les règles dans votre propre git
- Support, maintenance et évolution par l'équipe qui le construit
Pour les entreprises qui répondent de leurs chiffres.
Industrie et production
Nomenclatures, stocks, retards de livraison et défauts : une seule définition chacun.
Secteurs réglementés
Chaque chiffre remonte à une règle et aux tables qu'elle a lues.
Pilotes IA enlisés
Quelque chose que ceux qui valident peuvent lire et vérifier.
SynaLemma à l'œuvre sur l'une de vos questions.
Une démo gratuite de 30 minutes, sur une question où vos équipes ne sont pas d'accord, avec la réponse et la règle utilisée.