Service

Cerberus — Garde-fou et Attestation d'agents

Ronde de sécurité · attestation par la trace · journal opposable. « Votre agent a-t-il vraiment fait ce qu'il dit ? » Cerberus ne croit pas la déclaration : il regarde la trace, signale la dérive et scelle chaque constat dans un journal inviolable.

Disponible · modèle V9 Linux Lecture seule Journal opposable Sortie JSON
Cerberus — trois têtes, un journal

Cerberus — trois têtes, un journal.

🔍
Ronde de sécurité Cinq contrôles système : OS, espace disque, services critiques, sockets en écoute, portes d'accès externes.
📜
Attestation par la trace Confrontation de la déclaration à la trace disque : existence, taille, empreinte SHA-256, rejeu de la vérification.
⛓️
Journal opposable Chaque constat horodaté et inscrit dans un journal append-only à chaîne de hachage. Toute réécriture casse la chaîne.
⚠️
Détection de dérive Signale la sortie de périmètre et refuse les fausses preuves — en lecture seule.

Accès rapide

Découvrir : guide d'accès · Machine : llms.txt / services.json · Payer : paiement

Le problème : « c'est fait » n'est pas une preuve

Un agent dit qu'il a livré. Un autre dit qu'il a vérifié. Personne n'a de trace opposable — jusqu'à l'incident, c'est-à-dire trop tard.

Cerberus est né d'un cas réel : trois agents ont rendu des rapports de vérification fabriqués — « 12 passed », JSON valide, listing propre — alors que le disque disait l'inverse.

Ce qui est publié aujourd'hui

Des règles déterministes, un harnais de vérification, un journal à chaîne de hachage, et le modèle V9 (classifieur local, Q4_K_M). 396 tests verts, quatre échecs connus nommés plutôt que masqués. Quatre démonstrations rejouables.

Linux uniquement. Le noyau s'installe localement ; le modèle V9 s'importe via Ollama.

1,99 USDC vente unique · une machine

Produit complet : noyau + harnais + modèle V9. Mises à jour incluses sur la branche v9 (v9.1, v9.2…) ; la v10 est exclue, la v11+ sera vendue séparément. Paiement USDC sur Base.

Ce que fait Cerberus

Trois têtes, un journal : ce qui a été fait, quand, et par quel processus.

Ronde de sécurité

Cinq contrôles système : OS, espace disque, services critiques, sockets en écoute, portes d'accès externes. Un port sensible exposé hors boucle locale déclenche une alerte.

Attestation par la trace

Confrontation de la déclaration à la trace disque : existence, taille, empreinte SHA-256, rejeu de la vérification. La convergence tranche.

Journal opposable

Chaque constat est horodaté et inscrit dans un journal append-only à chaîne de hachage. Toute réécriture a posteriori casse la chaîne.

Détection de dérive

Signale la sortie de périmètre et refuse les fausses preuves — en lecture seule.

Accès & licence

Noyau gratuit (sans modèle)

Le noyau Cerberus est libre et fonctionne seul : règles déterministes, harnais de vérification, journal à chaîne de hachage. Téléchargement direct, sans compte, sans paiement. Démo incluse.

AGPL v3 · importez le modèle V9 plus tard si besoin.

Installation (produit complet)

Le produit complet inclut le noyau, le harnais de vérification et le modèle Cerberus V9 (Qwen2.5-1.5B fine-tuné, Q4_K_M, import Ollama).

Licence

Double licence AGPL v3 + commerciale. Voir la licence.

Acheter Cerberus V9

Produit complet : noyau + harnais + modèle V9. 1,99 USDC en vente unique, par machine. Mises à jour incluses avec preuve d'achat, limitées à la branche v9 (v9.1, v9.2…) ; la v10 est exclue, la v11+ sera vendue séparément.

Paiement : envoyez 1,99 USDC sur le réseau Base (eip155:8453) à l'adresse ci-dessous, puis prouvez votre transaction.

0xEC643C22E089Be9A23A282c532e6557aE08b8902

Un achat = une machine. La preuve est liée à l'empreinte matérielle (HWID). Consultez le livre blanc pour le détail de l'archive, la construction du modèle et les détections.

Activer votre licence

Après paiement (envoyez 1,99 USDC à l'adresse ci-dessus sur Base), remplissez ce formulaire pour recevoir votre clé de licence.

Essai gratuit du modèle (10 jours)

Le modèle V9 se teste **10 jours**, lancements illimités, sans paiement. Le noyau (gratuit) + le modèle importé localement suffisent. Activez votre essai avec un wallet (signature, jamais obligatoire) : 1 essai par wallet.

Service

Cerberus — Agent Guardrail & Attestation

Security round · attestation through the trace · proof journal. "Did your agent really do what it says?" Cerberus does not believe the statement: it looks at the trace, flags drift and seals every finding in an inviolable journal.

Available · V9 model Linux Read-only Proof journal JSON output
Cerberus — three heads, one journal

Cerberus — three heads, one journal.

🔍
Security round Five system checks: OS, disk space, critical services, listening sockets, external access doors.
📜
Attestation through the trace Confronting the statement with the disk trace: existence, size, SHA-256 fingerprint, replay of the check.
⛓️
Proof journal Each finding timestamped and written into an append-only hash-chain journal. Any rewrite breaks the chain.
⚠️
Drift detection Signals out-of-scope activity and refuses false proofs — read-only.

Accès rapide

Découvrir : guide d'accès · Machine : llms.txt / services.json · Payer : paiement

The problem: "it's done" is not a proof

An agent says it delivered. Another says it verified. No one has an opposable trace — until the incident, that is, too late.

Cerberus was born from a real case: three agents returned fabricated verification reports — "12 passed", valid JSON, clean listing — while the disk said the opposite.

What is published today

No model: deterministic rules, a verification harness, a hash-chain journal. 396 green tests, four known failures named rather than masked. Four replayable demonstrations.

Linux only. The core installs locally; the V9 model imports via Ollama.

Free during beta

No account, no telemetry. If a price comes, it will be announced when the offer exists.

What Cerberus does

Three heads, one journal: what was done, when, and by which process.

Security round

Five system checks: OS, disk space, critical services, listening sockets, external access doors. A sensitive port exposed outside the loopback triggers an alert.

Attestation through the trace

Confronting the statement with the disk trace: existence, size, SHA-256 fingerprint, replay of the check. Convergence decides.

Proof journal

Each finding is timestamped and written into an append-only hash-chain journal. Any rewrite breaks the chain.

Drift detection

Signals out-of-scope activity and refuses false proofs — read-only.

Access & license

Free core (no model)

The Cerberus core is free and works standalone: deterministic rules, a verification harness, a hash-chain journal. Direct download, no account, no payment. Demo included.

AGPL v3 · import the V9 model later if needed.

Installation (full product)

The full product includes the core, the verification harness and the Cerberus V9 model (Qwen2.5-1.5B fine-tuned, Q4_K_M, Ollama import).

License

Dual license AGPL v3 + commercial. See the license.

Buy Cerberus V9

Full product: core + harness + V9 model. 1.99 USDC one-time purchase, per machine. Included updates cover the v9 branch (v9.1, v9.2…) — v10 is excluded, v11+ sold separately.

Payment: send 1.99 USDC on the Base network (eip155:8453) to the address below, then prove your transaction.

0xEC643C22E089Be9A23A282c532e6557aE08b8902

One purchase = one machine. Proof is tied to the hardware fingerprint (HWID). See the white paper for the archive content, model construction and detections.

Activate your license

After payment (send 1.99 USDC to the address above on Base), fill this form to receive your license key.

Free model trial (10 days)

The V9 model can be tested **10 days**, unlimited launches, no payment. The free core + locally imported model suffice. Activate your trial with a wallet (signature, never mandatory): 1 trial per wallet.