Una ricevuta vale qualcosa solo se chi l’ha emessa non è l’unico a poterla verificare. Per questo verificatori, formato, chiavi e materiale di test sono pubblici. Questa pagina elenca ogni pezzo, la sua licenza, dove si trova oggi e come usarlo.
Fai passare da Intramedial azioni di agenti, hash di contenuti, controlli API, lookup DNS, webhook, chiamate LLM e commit git. Ricevi una ricevuta firmata che chiunque verifica, senza fidarsi di noi.
© 2026 Intramedial. Tutti i diritti riservati. Intramedial è un prodotto di Trustvice. Secured and supercharged by Avonao Labs.
Segnala abusoVerificare è un’operazione: una firma Ed25519 su una forma canonica della ricevuta, controllata con una chiave pubblica. Due implementazioni indipendenti con la stessa ricevuta e chiave danno la stessa risposta. Tutto ciò che serve è pubblicato.
Verifica autonoma
ledger-bundles-keys.jsonRFC 8785 · RFC 8032La verifica aperta non rende vera ogni ricevuta. Una firma valida prova chi ha firmato quali byte e che nulla è cambiato poi; per i fatti dichiarati non prova che il fatto sia accaduto. Cosa una ricevuta non prova →
Ogni riga dice cosa esiste oggi. Dove qualcosa non è pubblicato lo diciamo, e indichiamo la via che funziona ora. Nessuna data è promessa per ciò che non è pubblicato.
| Voce | Licenza | Dove | Stato |
|---|---|---|---|
Verificatore JavaScript e TypeScript@intramedial/verifier | MIT | npm |
Entrambe le librerie verificano le stesse due cose: ricevute di ogni tool e bundle di artifact firmati con prova di inclusione Merkle. Danno gli stessi motivi di errore e fissano lo stesso test vector firmato, così una deriva di canonicalizzazione o codifica fa fallire ciascuna suite.
intramedial-verifyJavaScript e TypeScriptZero dipendenze, solo WebCrypto. Verifica una ricevuta con un set di chiavi che passi tu, senza rete, o scarica prima le chiavi pubblicate. Se un runtime non ha Ed25519 restituisce unsupported_runtime invece di giudicare la ricevuta.
Il formato wire implementato da entrambi i verificatori è scritto come specifica normativa, v1, con licenza MIT. È pubblica perché la verifica sia possibile senza fidarsi del nostro verificatore. Oggi il contenuto è nelle docs; la specifica dovrebbe passare a un proprio repository pubblico.
ledger-bundlesmodule docsno licence statedDocumento pubblicoI sette membri firmati e la regola che il type del body sia quello della busta.
Le chiavi pubbliche Ed25519 che firmano le ricevute sono servite senza autenticazione, aperte al cross-origin e in cache per un’ora. Le vecchie chiavi restano pubblicate, così le vecchie ricevute restano valide. Le chiavi private stanno in AWS KMS e non escono mai.
https://intramedial.com/.well-known/ledger-bundles-keys.jsonIl set JWK, sul sito. Reindirizza alla route API; segui i redirect.https://ledger-bundles.api.intramedial.com/.well-known/ledger-bundles-keys.jsonLo stesso set, sull’host API.Una ricevuta a risposta nota, firmata da una chiave usa e getta fissa, è stampata nelle docs e fissata nei test di entrambi i verificatori. Prova lì la tua implementazione prima di affidarle ricevute reali.
{
"ok": true,
:
}Una piccola Action composita che legge con git il commit in checkout, fa l’hash del messaggio di commit sul runner e chiede una ricevuta commit.attest firmata. Il testo del messaggio non lascia mai il runner.
github.enforcehosted moduleDocumento pubblicoIl sorgente è completo con licenza MIT e non è ancora pubblicato. Un workflow che la richiama fallisce allo step di setup finché non lo sarà: oggi usa lo step curl delle docs. Fa la stessa cosa.
Agenti e assistenti di coding cercano file descrittivi a indirizzi prevedibili. Questi sono pubblici, generati dalle stesse definizioni di action del server MCP, e non richiedono account. Fa fede la risposta del server live; se un file e le docs differiscono, vincono le docs.
/.well-known/mcp/server.jsonNome del server MCP, endpoint HTTP streamable e modalità di accesso accettate.
/.well-known/mcp/tools.jsonI tool con schemi di input e output, come li restituisce tools/list.
/.well-known/agent-card.jsonIdentità dell’agente gateway, trasporti e una capability per action, per client A2A.
Il repository contiene più sorgenti di quelli elencati sopra in questa pagina. Nessuno è pubblicato o documentato come pacchetto, quindi non ci sono passi di installazione. Li elenchiamo perché nulla qui sia una sorpresa in seguito.
mcp-server stdioNon pubblicatoUna seconda implementazione Python indipendente del formato ricevute, senza codice in comune con l’emittente.
Non c’è ancora un repository pubblico su cui aprire issue o pull request; ogni pacchetto dovrebbe passare a un proprio repository pubblico. Fino ad allora, questi sono i canali che esistono.
In un verificatore, nel set di chiavi o nel formato. Scrivici in privato e non pubblicare dettagli prima del fix.
Un verificatore in disaccordo con il test vector, un esempio delle docs che fallisce o un manifest diverso dal server live. Invia l’input e cosa ti aspettavi.
Incolla una ricevuta nel verificatore. La verifica gira nel browser; l’unica richiesta di rete è il download delle chiavi.
Verifier Python@intramedial/adapter-framework | MIT | PyPI | Non pubblicato |
Formato ricevute e artifact, v1ledger-bundles | Non indicata | Docs oggi; repository proprio poi | Documento pubblico |
Chiavi firma pubblicheledger-bundles-keys.json | Dati pubblici | intramedial.com e api.intramedial.com | Non pubblicato |
Test vector a risposta notano public vector | Non indicata | Docs e test dei due verificatori | Non pubblicato |
GitHub Action commit.attestgithub.enforce | Non indicata | Destinata a GitHub | Documento pubblico |
Manifest MCP e discoveryserver.json · tools.json | Non indicata | intramedial.com/.well-known | Documento pubblico |
Se installi qualcosa con uno di questi nomi e non viene da un editore di cui ti fidi, non usarlo in alcun caso.
cd verifier npm install && npm run build npx intramedial-verify bundle.json --keys keys.json
verifyNotarianBundleWithKeys()verifyTopsSealWithKeys()verifyAuditChainExport()verifyArtifactWithKeys()Lo scaricamento delle chiavi lancia un errore se la rete fallisce, così un errore di rete non diventa mai un verdetto.
adapter-frameworkPythonLe stesse funzioni in snake case, scritte solo con la libreria standard, incluso un piccolo verificatore Ed25519 autonomo, così tutta la superficie di fiducia sta in pochi file che puoi leggere.
adapters/packages/adapter-frameworkCompilalo con npm run build
cd adapters npm install npm run build
okkindreasondetailsRFC 8785 alla lettera: ordine chiavi, forma numeri, escape e cosa va rifiutato.
Ed25519 sui byte canonici, base64url senza padding, e come si ricava l’ID della chiave.
I membri del body di ogni tool, digest dei watch inclusi.
La variante a tipo aperto della ricevuta per artifact di compliance.
Hash di foglie e nodi con prefissi di dominio, e come risale una prova di inclusione.
Dove è servito il set di chiavi, gli header e perché la rotazione è additiva.
I quattro passi e i motivi di errore leggibili da macchina.
Le aggiunte non rompono i verificatori v1; i documenti v1 si verificano sempre con regole v1.
Togli signature, serializza il resto in forma canonica e verifica la firma Ed25519 su quei byte UTF-8. È la stringa canonica del test vector qui sotto.
{
"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/snapshotMetadati della chiave di firma attiva.{
"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
Per il controllo più solido, scarica una chiave una volta, conserva kid e x nei tuoi record e verifica su quella copia. Ogni posizione sopra è servita da noi, quindi confrontarle protegge da una route difettosa, non da un Intramedial compromesso. Chiavi di firma e rotazione →
| Input | Verdetto |
|---|---|
| Ricevuta e set di chiavi come pubblicati | ok: true |
| La stessa ricevuta con byteLength cambiato in 5 | ok: false |
| La stessa ricevuta con un altro ID chiave | ok: false |
| Un oggetto con solo una version | ok: false |
Il body del vector è materiale di test illustrativo. La chiave è di test e non firma nulla di reale.
verifier/test · runtime/ledger-bundles/test{
"repo": "acme/payments",
"actorDid": "did:web:acme.example:agent:billing",
"sha": "9fceb02d0ae598e95dc970b74767f19372d61af8",
"action": "write"
}reposhaactionL’Action invia solo un header Authorization, quindi funziona con una chiave di workspace e non con un personal access token.
/openapi.jsonLa superficie REST come documento OpenAPI, per generare client tipizzati.
/llms.txtUna mappa in testo semplice del sito e di ogni pagina docs, per modelli linguistici.
/AGENTS.mdUn documento Markdown che descrive ogni action con un esempio.
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'
Per questi file non è indicata una licenza. Descrivono un servizio hosted, il server MCP su mcp.intramedial.com, che non è un pacchetto da installare.
adapters/packages/mcp-server/pacchetto contractsNon pubblicatoUn verificatore offline più ampio per gli altri tipi di prove firmate della piattaforma, come bundle di artifact ed export a catena di hash.
contracts/Adapter framework agentiNon pubblicatoUn pacchetto base e un pacchetto per framework di agenti che trasformano un run del framework in richieste di attestazione. I framework sono dei loro autori; solo gli adapter sono nostri.
adapters/packages/Formato e vector bastano per scriverne uno. Parlacene e potremo verificarlo insieme a te sul test vector.
Come segnalare, cosa rientra nell’ambito, il nostro safe harbor e cosa aspettarti da noi.
Il file standard di contatto sicurezza è su /.well-known/security.txt.
Non pubblicatoPull request: previste. Quando i repository pubblici esisteranno, questa pagina li collegherà e dirà con che licenza sono i contributi.