Un reçu ne vaut que si son émetteur n’est pas le seul à pouvoir le vérifier. Vérificateurs, format, clés et matériel de test sont donc publics. Cette page liste chaque élément, sa licence, où il se trouve aujourd’hui et comment l’utiliser.
Faites passer actions d’agents, hash de contenu, contrôles d’API, requêtes DNS, webhooks, appels LLM et commits git par Intramedial. Obtenez un reçu signé vérifiable par tous – sans nous croire.
Vérifier tient en une opération : une signature Ed25519 sur une forme canonique du reçu, contrôlée avec une clé publique. Deux implémentations indépendantes, même reçu et même clé, donnent la même réponse. Tout ce qu’il faut est publié.
Contrôle autonome
ledger-bundles-keys.jsonRFC 8785 · RFC 8032Une vérification ouverte ne rend pas chaque reçu vrai. Une signature valide prouve qui a signé quels octets et que rien n’a changé depuis ; pour un fait déclaré, elle ne prouve pas qu’il a eu lieu. Ce qu’un reçu ne prouve pas →
Chaque ligne dit ce qui existe aujourd’hui. Ce qui n’est pas publié est signalé, avec la voie qui marche déjà. Aucune date n’est promise pour les éléments non publiés.
| Élément | Licence | Où | Statut |
|---|---|---|---|
Vérificateur JavaScript et TypeScript@intramedial/verifier | MIT | npm |
Les deux bibliothèques vérifient les mêmes choses : les reçus de tout outil, et les bundles d’artefacts signés avec preuve d’inclusion Merkle. Mêmes raisons d’échec, même vecteur de test signé épinglé : un écart de canonisation ou d’encodage fait échouer l’une ou l’autre suite.
intramedial-verifyJavaScript et TypeScriptZéro dépendance, rien que WebCrypto. Vérifie un reçu contre un jeu de clés fourni, sans appel réseau, ou charge d’abord les clés publiées. Si le runtime n’a pas d’Ed25519, renvoie unsupported_runtime au lieu de juger le reçu.
Le format de transport des deux vérificateurs est écrit en spécification normative, v1, sous licence MIT. Elle est publique pour qu’on puisse vérifier sans croire notre vérificateur. Son contenu est publié dans les docs ; la spécification doit rejoindre son propre dépôt public.
ledger-bundlesmodule docsno licence statedDoc publiqueLes sept membres signés et la règle : le type du corps égale celui de l’enveloppe.
Les clés publiques Ed25519 qui signent les reçus sont servies sans authentification, ouvertes au cross-origin et en cache une heure. Les anciennes clés restent publiées : les anciens reçus restent vérifiables. Les clés privées sont dans AWS KMS et jamais exportées.
https://intramedial.com/.well-known/ledger-bundles-keys.jsonLe jeu JWK, sur le site. Redirige vers la route API ; suivez les redirections.https://ledger-bundles.api.intramedial.com/.well-known/ledger-bundles-keys.jsonLe même jeu, sur l’hôte API.Un reçu à réponse connue, signé par une clé jetable fixe, figure dans les docs et est épinglé dans les tests des deux vérificateurs. Passez-y votre implémentation avant de lui confier de vrais reçus.
{
"ok": true,
:
}Une petite Action composite qui lit le commit extrait avec git, hache son message sur le runner et demande un reçu commit.attest signé. Le texte du message ne quitte jamais le runner.
github.enforcehosted moduleDoc publiqueLa source est complète, sous licence MIT, mais pas encore publiée. D’ici là, un workflow qui la référence échoue à l’étape de set-up : utilisez l’étape curl des docs. Elle fait la même chose.
Agents et assistants de code cherchent des fichiers de description à des adresses prévisibles. Ceux-ci sont publics, générés des mêmes définitions d’actions que le serveur MCP, sans compte. La réponse du serveur fait foi ; si un fichier et les docs diffèrent, les docs priment.
/.well-known/mcp/server.jsonLe nom du serveur MCP, l’endpoint HTTP streamable et les modes de connexion acceptés.
/.well-known/mcp/tools.jsonLes outils avec leurs schémas d’entrée et de sortie, tels que tools/list les rend.
/.well-known/agent-card.jsonLe dépôt contient plus de sources que cette page n’en liste ci-dessus. Rien n’en est publié ni documenté comme paquet pour l’instant, donc aucune étape d’installation. Nous le listons pour que rien ici ne soit une surprise plus tard.
mcp-server stdioPas encore publiéUne seconde implémentation Python indépendante du format de reçu, sans code partagé avec l’émetteur.
Il n’y a pas encore de dépôt public pour ouvrir issues ou pull requests ; chaque paquet doit rejoindre son propre dépôt public. D’ici là, voici les canaux qui existent.
Dans un vérificateur, le jeu de clés ou le format. Écrivez-nous en privé, sans publier de détails avant que nous ayons pu corriger.
Un vérificateur en désaccord avec le vecteur, un exemple de doc qui échoue, un manifeste qui ne colle pas au serveur. Envoyez l’entrée et le résultat attendu.
Collez un reçu dans le vérificateur. Le contrôle tourne dans le navigateur ; seul le chargement de clé passe par le réseau.
Paquet Python@intramedial/adapter-framework | MIT | PyPI | Pas encore publié |
Format de reçu et d’artefact, v1ledger-bundles | Non précisée | Docs ce jour ; dépôt dédié prévu | Doc publique |
Clés publiques Ed25519ledger-bundles-keys.json | Accès public | intramedial.com et api.intramedial.com | Pas encore publié |
Vecteur à réponse connueno public vector | Non précisée | Docs et tests des deux vérificateurs | Pas encore publié |
GitHub Action commit.attestgithub.enforce | Non précisée | Destinée à GitHub | Doc publique |
Manifestes MCP, découverteserver.json · tools.json | Non précisée | intramedial.com/.well-known | Doc publique |
Si vous installez un paquet portant un de ces noms et qu’il ne vient pas d’un éditeur de confiance, ne l’utilisez pas.
cd verifier npm install && npm run build npx intramedial-verify bundle.json --keys keys.json
verifyNotarianBundleWithKeys()verifyTopsSealWithKeys()verifyAuditChainExport()verifyArtifactWithKeys()Le chargement des clés lève une erreur si le réseau échoue : une erreur réseau n’est jamais un verdict sur le reçu.
adapter-frameworkPythonLes mêmes fonctions en snake case, écrites avec la seule bibliothèque standard, dont un petit vérificateur Ed25519 autonome : toute la surface de confiance tient en quelques fichiers lisibles.
adapters/packages/adapter-frameworkCompilez-le avec npm run build
cd adapters npm install npm run build
okkindreasondetailsRFC 8785 à la lettre : ordre des clés, nombres, échappement et ce qu’il faut rejeter.
Ed25519 sur les octets canoniques, base64url sans remplissage, et dérivation de l’ID de clé.
Les membres du corps de chaque outil, digests de veille compris.
La variante ouverte du reçu pour les artefacts de conformité.
Hachage de feuilles et nœuds à préfixes de domaine, repli d’une preuve d’inclusion.
Où est servi le jeu de clés, ses en-têtes, pourquoi la rotation est additive.
Les quatre étapes et les raisons d’échec lisibles par machine.
Les ajouts gardent les vérificateurs v1 valables ; un document v1 se vérifie en v1 à jamais.
Retirez signature, sérialisez le reste en forme canonique et vérifiez la signature Ed25519 sur ces octets UTF-8. C’est la chaîne canonique du vecteur de test ci-dessous.
{
"bundleId": "lb_20261101_wnam_01",
"workspaceId": "ws_acme",
"jurisdiction": "wnam",
"scope": "default",
"recordCount": 4820,
"merkleRoot": "8f1c2a9e...",
"signingKeyId": "lb-wnam-2026-10",
"ed25519Signature": "base64-signature",
"otsProof": null
}/api/v1/ledger-bundles/anchors/api/v1/ledger-bundles/snapshotLes métadonnées de la clé active.{
"kty": "OKP",
"crv": "Ed25519",
"x": "…",
"kid": "…",
"alg": "EdDSA",
"use": "sig",
"jurisdiction": "wnam"
}curl -sSL https://ledger-bundles.api.intramedial.com/.well-known/ledger-bundles-keys.json -o keys.json jq -r '.keys[].kid' keys.json
Pour la vérification la plus solide, récupérez une clé une fois, conservez son kid et son x dans vos propres enregistrements, et vérifiez par rapport à cette copie. Tous les emplacements ci-dessus sont servis par nous : les comparer protège contre une seule mauvaise route, pas contre un Intramedial compromis. Clés de signature, rotation →
| Entrée | Verdict |
|---|---|
| Le reçu et le jeu de clés publiés | ok: true |
| Le même reçu, avec byteLength changé en 5 | ok: false |
| Le même reçu avec un autre ID de clé | ok: false |
| Un objet avec une version seule | ok: false |
Le corps du vecteur est du matériel de test illustratif. Sa clé est de test et ne signe rien de réel.
verifier/test · runtime/ledger-bundles/test{
"repo": "acme/payments",
"actorDid": "did:web:acme.example:agent:billing",
"sha": "9fceb02d0ae598e95dc970b74767f19372d61af8",
"action": "write"
}reposhaactionL’Action n’envoie qu’un en-tête Authorization : elle marche avec une clé de workspace, pas avec un jeton d’accès personnel.
Une étape qui marche déjà →La recette CI entière →github.enforce →
L’identité de l’agent passerelle, ses transports et une capacité par action, pour clients A2A.
/openapi.jsonLa surface REST en document OpenAPI, pour générer des clients typés.
/llms.txtUn plan texte du site et de chaque page de docs, écrit pour les modèles de langage.
/AGENTS.mdUn document Markdown décrivant chaque action avec un exemple.
curl -s https://intramedial.com/.well-known/mcp/server.json | jq .endpoints curl -s https://intramedial.com/.well-known/mcp/tools.json | jq '.tools[].name'
Aucune licence n’est indiquée pour ces fichiers. Ils décrivent un service hébergé, le serveur MCP de mcp.intramedial.com, pas un paquet à installer.
adapters/packages/mcp-server/paquet contractsPas encore publiéUn vérificateur hors ligne plus large pour les autres preuves signées de la plateforme, tels bundles d’artefacts et exports chaînés par hash.
contracts/Adaptateurs de frameworksPas encore publiéUn paquet de base et un paquet par framework d’agents, qui changent une exécution en demandes d’attestation. Les frameworks sont à leurs auteurs ; seuls les adaptateurs sont à nous.
adapters/packages/Format et vecteur suffisent pour en écrire un. Parlez-nous-en, nous pourrons le tester avec vous sur le vecteur.
Comment signaler, le périmètre, notre engagement safe harbour et ce que nous vous devons ensuite.
Le fichier standard de contact sécurité est publié sur /.well-known/security.txt.
Pas encore publiéPull requests : prévues. Quand les dépôts publics existeront, cette page y renverra et dira sous quelle licence vont les contributions.