Um recibo só vale algo se quem o emitiu não for o único capaz de checá-lo. Por isso os verificadores, o formato, as chaves e o material de teste são públicos. Esta página lista cada peça, sua licença, onde ela está hoje e como você pode usá-la.
Passe ações de agentes, hashes de conteúdo, checagens de API, DNS, webhooks, chamadas de LLM e commits git pela Intramedial. Receba um recibo assinado que todos verificam – sem confiar em nós.
© 2026 Intramedial. Todos os direitos reservados. A Intramedial é um produto da Trustvice. Secured and supercharged by Avonao Labs.
Denunciar abusoVerificar é uma operação: uma assinatura Ed25519 sobre a forma canônica do recibo, checada contra uma chave pública. Duas implementações independentes com o mesmo recibo e chave chegam à mesma resposta. Tudo que essa operação pede é publicado.
Verificação livre
ledger-bundles-keys.jsonRFC 8785 · RFC 8032Verificação aberta não torna todo recibo verdadeiro. Uma assinatura válida prova quem assinou quais bytes e que nada mudou depois; para fatos declarados, não prova que o fato ocorreu. O que o recibo não comprova →
Cada linha diz o que existe hoje. Onde algo não está publicado, dizemos isso e apontamos o caminho que funciona já. Não prometemos data para os itens não publicados.
| Item | Licença | Onde | Status |
|---|---|---|---|
Verificador JavaScript e TypeScript@intramedial/verifier | MIT | npm |
As duas bibliotecas verificam as mesmas duas coisas: recibos de qualquer tool e bundles de artefatos assinados com prova de inclusão Merkle. Ambas devolvem os mesmos motivos de falha e fixam o mesmo vetor assinado, então um desvio de canonicalização ou codificação quebra as suítes.
intramedial-verifyJavaScript e TypeScriptZero dependências, só WebCrypto. Verifica um recibo contra um conjunto de chaves que você passa, sem rede, ou busca antes as chaves publicadas. Onde o runtime não tem Ed25519, devolve unsupported_runtime em vez de julgar o recibo.
O formato de fio que os dois verificadores implementam está escrito como especificação normativa, v1, sob licença MIT. É pública para que se possa verificar sem confiar no nosso verificador. Seu conteúdo está nos docs hoje; a especificação deve ir para um repositório público próprio.
ledger-bundlesmodule docsno licence statedDocumento públicoOs sete membros assinados e a regra de que o type do corpo é igual ao do envelope.
As chaves públicas Ed25519 que assinam recibos são servidas sem autenticação, abertas a requisições cross-origin e cacheáveis por uma hora. Chaves antigas seguem publicadas, e recibos antigos seguem válidos. As privadas ficam no AWS KMS e nunca são exportadas.
https://intramedial.com/.well-known/ledger-bundles-keys.jsonO JWK set, no site. Redireciona à rota da API; siga redirecionamentos.https://ledger-bundles.api.intramedial.com/.well-known/ledger-bundles-keys.jsonO mesmo conjunto, no host da API.Um recibo de resposta conhecida, assinado por uma chave descartável fixa, está nos docs e fixado nas suítes dos dois verificadores. Rode sua implementação contra ele antes de confiar recibos reais a ela.
{
"ok": true,
:
}Uma pequena Action composta que lê o commit em checkout com git, faz hash da mensagem no runner e pede um recibo commit.attest assinado. O texto da mensagem nunca sai do runner.
github.enforcehosted moduleDocumento públicoO código está pronto sob licença MIT e ainda não foi publicado. Um workflow que a referencie falha no passo de setup até que seja, então use hoje o passo curl dos docs. Ele faz exatamente a mesma coisa.
Agentes e assistentes de código buscam arquivos de descrição em endereços previsíveis. Estes são públicos, gerados das mesmas definições de ações do servidor MCP, e não pedem conta. A resposta do servidor ao vivo prevalece; se um arquivo e os docs divergem, valem os docs.
/.well-known/mcp/server.jsonO nome do servidor MCP, o endpoint HTTP streamable e os modos de login que aceita.
/.well-known/mcp/tools.jsonAs tools com seus schemas de entrada e saída, como tools/list as devolve.
/.well-known/agent-card.jsonA identidade do agente gateway, transportes e uma capability por ação, para clientes A2A.
O repositório contém mais código-fonte do que esta página lista acima. Nada disso está publicado ou documentado como pacote ainda, então não há passos de instalação. Listamos para que nada aqui seja surpresa depois.
mcp-server stdioAinda não publicadoUma segunda implementação Python, independente, do formato do recibo, sem código em comum com o emissor.
Ainda não há repositório público para abrir issues ou pull requests; cada pacote deve ir para um repositório público próprio. Até lá, estes são os canais que existem.
Num verificador, nas chaves ou no formato. Escreva-nos em privado e não poste detalhes antes de termos tempo de corrigir.
Um verificador que discorda do vetor de teste, um exemplo dos docs que falha ou um manifesto que não bate com o servidor ao vivo. Envie a entrada e o que esperava.
Cole um recibo no verificador. A checagem roda no seu navegador; a única requisição de rede é o download das chaves.
Verificador Python@intramedial/adapter-framework | MIT | PyPI | Ainda não publicado |
Formato de recibo e artefato, v1ledger-bundles | Não declarada | Docs hoje; repositório planejado | Documento público |
Chaves públicas (JWK)ledger-bundles-keys.json | Dado público | intramedial.com e api.intramedial.com | Ainda não publicado |
Vetor de resposta conhecidano public vector | Não declarada | Docs e suítes dos verificadores | Ainda não publicado |
GitHub Action commit.attestgithub.enforce | Não declarada | Previsto para o GitHub | Documento público |
Manifestos MCP e de discoveryserver.json · tools.json | Não declarada | intramedial.com/.well-known | Documento público |
Se você instalar algo com um destes nomes e ele não vier de um editor em que você confia, não o use.
cd verifier npm install && npm run build npx intramedial-verify bundle.json --keys keys.json
verifyNotarianBundleWithKeys()verifyTopsSealWithKeys()verifyAuditChainExport()verifyArtifactWithKeys()Buscar chaves lança erro quando a rede falha, e um erro de rede nunca vira veredito sobre o recibo.
adapter-frameworkPythonAs mesmas funções em snake case, só com a biblioteca padrão, inclusive um pequeno verificador Ed25519 autocontido, e toda a superfície de confiança cabe em poucos arquivos legíveis.
adapters/packages/adapter-frameworkCompile com npm run build
cd adapters npm install npm run build
okkindreasondetailsRFC 8785 à risca: ordem das chaves, forma dos números, escape e o que rejeitar.
Ed25519 sobre os bytes canônicos, base64url sem padding, e como o key ID é derivado.
Os membros do corpo de cada tool, inclusive digests de watch.
O irmão de tipo aberto do recibo para artefatos de compliance.
Hash de folhas e nós com prefixos de domínio, e como a prova de inclusão se reduz.
Onde o conjunto é servido, seus headers e por que a rotação é aditiva.
Os quatro passos e os motivos de falha legíveis por máquina.
Mudanças aditivas mantêm verificadores v1; documentos v1 verificam por regras v1 sempre.
Remova signature, serialize o resto em forma canônica e verifique a assinatura Ed25519 sobre esses bytes UTF-8. Esta é a string canônica do vetor de teste abaixo.
{
"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/snapshotMetadados da chave de assinatura ativa.{
"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
Para a verificação mais forte, busque uma chave uma vez, guarde seu kid e x nos seus próprios registros e verifique contra essa cópia. Todos os locais acima são servidos por nós, então compará-los protege contra uma rota ruim, não contra uma Intramedial comprometida. Chaves: assinatura e rotação →
| Entrada | Veredito |
|---|---|
| O recibo e as chaves como publicados | ok: true |
| O mesmo recibo com byteLength trocado por 5 | ok: false |
| O mesmo recibo com um key ID diferente | ok: false |
| Um objeto só com uma versão | ok: false |
O corpo do vetor é material de teste ilustrativo. A chave é de teste e não assina nada real.
verifier/test · runtime/ledger-bundles/test{
"repo": "acme/payments",
"actorDid": "did:web:acme.example:agent:billing",
"sha": "9fceb02d0ae598e95dc970b74767f19372d61af8",
"action": "write"
}reposhaactionA Action envia só um header Authorization, então funciona com uma chave de workspace e não com um token de acesso pessoal.
Um passo que já funciona →A receita CI completa →github.enforce →
/openapi.jsonA superfície REST como documento OpenAPI, para gerar clientes tipados.
/llms.txtUm mapa em texto puro do site e de cada página dos docs, para modelos de IA.
/AGENTS.mdUm documento Markdown que descreve cada ação com um exemplo.
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'
Estes arquivos não têm licença declarada. Descrevem um serviço hospedado, o servidor MCP em mcp.intramedial.com, que não é pacote a instalar.
adapters/packages/mcp-server/contracts packageAinda não publicadoUm verificador offline mais amplo para os outros tipos de evidência assinada, como bundles de artefatos e exports encadeados.
contracts/Adaptadores de frameworks de agentesAinda não publicadoUm pacote base e um pacote por framework de agentes que transforma uma execução em pedidos de atestação. Os frameworks são dos seus autores; só os adaptadores são nossos.
adapters/packages/O formato e o vetor bastam para escrever um. Conte-nos sobre ele e podemos checá-lo contra o vetor junto com você.
Como relatar, o que está no escopo, nosso compromisso de safe harbor e o que esperar de nós.
O arquivo padrão de contato de segurança está em /.well-known/security.txt.
Ainda não publicadoPull requests: planejados. Quando os repositórios públicos existirem, esta página os linka e diz como as contribuições são licenciadas.