Katen

Un moteur d'orchestration formellement vérifié pour pipelines Data & IA

Déterministe
Fondé sur les réseaux de Petri. Pas d'état ambigu, pas de race condition.
Observable
Chaque opérateur expose son état en temps réel. Pas de boîte noire.
Open source
Moteur ouvert, format ouvert. Vos compositions vous appartiennent.
GitHub Contact
Ce que Katen est

Déterministe par
construction.

Un moteur d'orchestration fondé sur les réseaux de Petri. Un opérateur tire ou il ne tire pas — pas d'état ambigu, pas de race condition, pas de "presque". Modèle d'exécution fondé sur la théorie des réseaux de Petri (Jensen 1992, Reisig 1985).

RUNNING LLM Call
Trijection
Trois interfaces, un objet

Le canvas interactif montre le graphe. Le code décrit la même composition en .kc. Le modèle formel expose places, transitions, jetons. Modifier l'un met à jour les autres.

Zéro dépendance
Standards web uniquement

HTML, JavaScript, SVG — rien d'autre. Une dépendance est un pari sur la roadmap de quelqu'un d'autre. Un standard est un pari sur le web lui-même.

Self-contained
Rien à installer

Le moteur, l'éditeur et la CLI sont des artefacts autonomes. Ce qui tourne sur une machine tourne sur toutes. La portabilité est une conséquence de l'absence de dépendances.

Léger
Le poids de ce qu'il fait

Pas de build chain baroque, pas de node_modules, pas de Docker obligatoire. Un fichier .kc, un navigateur, un moteur.

A kata runs or it doesn't. Principe fondateur