SynaLemma is gebouwd op deze engines.
Ons commerciële product zet ze aan het werk op uw bedrijfsdata: antwoorden die de regel achter elk cijfer citeren, op uw servers, met het model van uw keuze.
Plan een demo Open source
De drie engines van SynaLemma zijn open source.
Synalinks voor de agent, Synalog voor de logica, Semantic Layers voor de kennis: alle drie onder Apache-2.0 en openbaar ontwikkeld. Omdat de code openbaar is, kan iedereen nagaan hoe de engines van SynaLemma een regel verifiëren en een antwoord berekenen.
Deze pagina is technisch. Voor uw bedrijf betekent het dat iedereen de engines onder SynaLemma kan inspecteren, en dat uw regels ook buiten ons product leesbaar blijven. Bekijk SynaLemma
- 1.4k GitHub-sterren
- 1k PyPI-downloads / maand
- Apache-2.0-licentie
Onze aanpak
Hoe wij werken
Waarom neurosymbolisch, waarom het model niet redeneert, en de normen die wij onszelf opleggen.
Lees over onze aanpak Ons onderzoekWaar wij aan werken
Zes gebieden van toegepast onderzoek, van neurosymbolisch redeneren tot de evaluatie van AI-systemen, en het experimentele protocol dat wij volgen.
Lees over ons onderzoek Synalinks
Een neurosymbolisch framework voor applicaties op basis van taalmodellen.
Synalinks is een framework om applicaties op basis van taalmodellen te bouwen, te trainen en uit te rollen (RAG-pipelines, autonome agents en zelflerende redeneersystemen), met een overzichtelijke, declaratieve API die is overgenomen van Keras. Het brengt de discipline van deep learning naar AI-systemen: componenten samenstellen, hun instructies optimaliseren op basis van echte metrics zonder de gewichten van het model aan te raken, agentcode uitvoeren in een ingebouwde sandbox, en het resultaat uitrollen als API of als MCP-server. Ontwikkeld onder supervisie van François Chollet, de auteur van Keras.
Aan de slag
$ uvx synalinks init Wat het voor u betekent: de assistent van SynaLemma is erop gebouwd, dus de output wordt aan een schema gehouden en de instructies worden geoptimaliseerd op basis van gemeten resultaten.
Synalog
Ruwe tabellen omzetten in gestructureerde, geverifieerde kennis.
Synalog is een logische taal uit de Datalog-familie, geschreven in Rust, die naar zeven SQL-dialecten compileert. Een formele verifier weigert een slecht opgebouwde regel voordat er SQL wordt gegenereerd, en asserties in eerste-ordelogica, geschreven in de notatie van Lean, zoeken in uw data naar tegenvoorbeelden. Kennisgrafen over uw tabellen, begrensde recursie, redeneren in de tijd: er wordt niets gekopieerd en alles draait in uw database.
Een stuklijst over alle niveaus, met haar asserties
---
name: Requires
description: An assembly requires a component, directly or inside a sub-assembly, at any level of the bill of materials.
---
import concepts.Contains.Contains;
@Assert(Requires,
no_cycle: "∀ a, ¬ Requires a a",
transitive: "∀ a b c, Requires a b → Requires b c → Requires a c",
includes_direct: "∀ a c q, Contains a c q → Requires a c");
@Recursive(Requires, 20);
@OrderBy(Requires, "assembly_id", "component_id");
Requires(assembly_id:, component_id:) distinct :- Contains(assembly_id:, component_id:);
Requires(assembly_id:, component_id:) distinct :-
Requires(assembly_id:, component_id: middle), Contains(assembly_id: middle, component_id:);Wat het voor u betekent: uw bedrijfsregels worden code die wordt geverifieerd voordat ze draait, en elk antwoord is terug te voeren op de data waaruit het is ontstaan. Dat is wat een klant of een toezichthouder u zal vragen te laten zien.
Semantic Layers
Uw bedrijfsdefinities, als geverifieerde code die agents uitvoeren.
Agent Skills gaf agents een open formaat voor procedures. Semantic Layers past hetzelfde idee toe op kennis: een map met definities (beschikbare voorraad, een te late levering, een kritieke leverancier) en met de regels die erover redeneren. De agent parafraseert de definitie niet: ze wordt uitgevoerd op de database en geeft hetzelfde resultaat, welke agent haar ook uitvoert.
Zoeken, dan uitvoeren
$ semantic-layers search 'late|delivery' Wat het voor u betekent: een laag van duizenden definities kost slechts een paar regels context, omdat de agent zoekt in plaats van alles te laden. Ze wordt met één opdracht geïnstalleerd, en er komt niets ongeverifieerds in terecht. En omdat een laag een git-repository is, kan de geschiedenis van elke definitie worden gereviewd en geaudit zoals code.
Synalinks Skills
Expertise in Synalinks, verpakt voor coding agents.
Synalinks Skills is een bibliotheek van skills in het open SKILL.md-formaat
die coding agents leert idiomatische Synalinks-code te schrijven: overzichtelijke
handleidingen, uitvoerbare scripts en diepgaande referenties die het hele framework
beslaan. Zonder die begeleiding haalt een model syntaxen door elkaar en produceert het
code die plausibel oogt maar niet werkt. Met die begeleiding schrijven coding agents
Synalinks zoals ons team dat doet.
Wat het voor u betekent: kennis omzetten in instructies die een machine volgt, is precies wat onze engineers in SynaLemma doen met de definities van uw teams.
Openbaar gebouwd, met een community eromheen.
Onze frameworks vallen onder Apache-2.0 en worden openbaar ontwikkeld. Geef de repositories een ster, open een issue of neem deel aan het gesprek. Wilt u deze engines op uw eigen data gebruiken, begin dan met SynaLemma en onze forward-deployed engineers.