https://satellion.com/ Satellion builds open-source tools that test the infrastructure AI agents connect to and prove what they found. Its first is passmcp, which checks any MCP server and writes an attestation anyone can verify offline. en https://satellion.com/attestation/a2a-evaluation/v1/ The predicate type of the in-toto statement passmcp writes about an agent that speaks the Agent2Agent protocol: the Agent Card's canonical digest, whether it was signed and by which key, and each check's verdict. https://satellion.com/attestation/a2a-evaluation/v1/ Sebastien Rousseau https://satellion.com/attestation/mcp-evaluation/v1/ The predicate type of the in-toto statement passmcp writes about an MCP server: what was tested, against which revision of the protocol, and each check's verdict with the evidence behind it. https://satellion.com/attestation/mcp-evaluation/v1/ Sebastien Rousseau https://satellion.com/graph/v1/ The document format of a passmcp-graph store: agents, MCP servers, tools, identities, discovery sources and attestations, and the edges between them, with IDs derived from what each node is. https://satellion.com/graph/v1/ Sebastien Rousseau