CAIN-42 CAIN Studio

Evidence library · niche

Tools, MCP, protocols & adapters

How agents reach tools, APIs and each other, safely. 684 tested invariants.

Last reviewed 2026-10-01

684 of 684 held

Where this niche's rules come from

Test families in this niche

adapter (270) · protocol_domain (56) · discovery (36) · abi (28) · interchange (28) · universal_action (20) · routing (19) · sdk (19) · gateway (19) · gip_carrier (16) · channel (14) · overlay_protocol (13) · uact (12) · route (12) · runtime_adapter (12) · agency_graph (12) · runtime_swap (9) · message_class (9) · runtime_binding (8) · protocol_conformance (8) · operation_kind (8) · edge (6) · abi_error (5) · action (5) · carrier (3) · radar (3) · telemetry (2) · moat (2) · competitive_gap (2) · risk (1) · translation (1) · out_of_band (1) · reassessment (1) · integrity (1) · developer (1) · gap_detector (1) · ip (1) · lab (1) · physical_hybrid (1) · protocol (1)

Where these come from

Rules 601–684 of 684

IDRuleBundleResult
E35-DOMAIN-TOURNAMENTthe signed domain TOURNAMENT is definedE35held
E35-DOMAIN-COMPUTER-USEthe signed domain COMPUTER-USE is definedE35held
E35-DOMAIN-REVISIONthe signed domain REVISION is definedE35held
E35-DOMAIN-KNOWLEDGE-REVOCATIONthe signed domain KNOWLEDGE-REVOCATION is definedE35held
E35-DOMAIN-RESEARCH-TO-ENGINEERINGthe signed domain RESEARCH-TO-ENGINEERING is definedE35held
E35-DOMAIN-RADARthe signed domain RADAR is definedE35held
E35-DOMAIN-IPthe signed domain IP is definedE35held
E35-DOMAIN-MOATthe signed domain MOAT is definedE35held
E35-DOMAIN-KNOWLEDGE-GRAPHthe signed domain KNOWLEDGE-GRAPH is definedE35held
E35-DOMAIN-SWARMthe signed domain SWARM is definedE35held
E35-DOMAIN-LABthe signed domain LAB is definedE35held
E35-DOMAIN-BENCHMARKthe signed domain BENCHMARK is definedE35held
E35-DOMAIN-INTEGRITYthe signed domain INTEGRITY is definedE35held
E35-DOMAIN-ROOTthe signed domain ROOT is definedE35held
E35-DOMAIN-DEGRADATIONthe signed domain DEGRADATION is definedE35held
E35-DOMAIN-LATENCYthe signed domain LATENCY is definedE35held
E35-DOMAIN-ECONOMICSthe signed domain ECONOMICS is definedE35held
E35-DOMAIN-SELF-HEALINGthe signed domain SELF-HEALING is definedE35held
E35-DOMAIN-SELF-GOVERNANCEthe signed domain SELF-GOVERNANCE is definedE35held
E35-DOMAIN-LOOPthe signed domain LOOP is definedE35held
E35-DOMAIN-FABRICthe signed domain FABRIC is definedE35held
E35-RISK-physicalrisk dimension physical is separateE35held
E35-RADAR-MCPradar topic MCP existsE35held
E35-RADAR-edge_airadar topic edge_ai existsE35held
E35-RADAR-runtime_governanceradar topic runtime_governance existsE35held
E35-IP-governance_interchangeIP primitive governance_interchange existsE35held
E35-LAB-new_protocol_vulnerabilitiesresearch-lab topic new_protocol_vulnerabilities existsE35held
E35-INTEGRITY-enforcement_adapterintegrity monitor watches enforcement_adapterE35held
E36-AGENCY-NODE-toolagency graph node tool existsE36held
E36-AGENCY-NODE-runtimeagency graph node runtime existsE36held
E36-AGENCY-EDGE-HIRESagency graph edge HIRES existsE36held
E36-AGENCY-EDGE-EXECUTESagency graph edge EXECUTES existsE36held
E36-AGENCY-EDGE-PROVESagency graph edge PROVES existsE36held
E36-AGENCY-EDGE-VERIFIESagency graph edge VERIFIES existsE36held
E36-AGENCY-EDGE-PAYSagency graph edge PAYS existsE36held
E36-AGENCY-EDGE-DEPENDS_ONagency graph edge DEPENDS_ON existsE36held
E36-AGENCY-EDGE-SUBCONTRACTSagency graph edge SUBCONTRACTS existsE36held
E36-AGENCY-EDGE-REVOKESagency graph edge REVOKES existsE36held
E36-AGENCY-EDGE-RECOVERSagency graph edge RECOVERS existsE36held
E36-AGENCY-EDGE-REVIEWSagency graph edge REVIEWS existsE36held
E36-MOAT-governance_aware_discoverymoat governance_aware_discovery is technical onlyE36held
E36-MOAT-governance_aware_routingmoat governance_aware_routing is technical onlyE36held
E36-COMPETITOR-agent_gatewayscompetitor category agent_gateways makes no claimE36held
E36-COMPETITOR-agent_interoperability_protocolscompetitor category agent_interoperability_protocols makes no claimE36held
physical_hybridevery 'physical hybrid' invariant in this bundle (36 of 36 held)E38held
protocolevery 'protocol' invariant in this bundle (12 of 12 held)E38held
routingevery 'routing' invariant in this bundle (10 of 10 held)E39held
E41-DISCOVERY-identitydiscovery metadata requires identityE41held
E41-DISCOVERY-ownerdiscovery metadata requires ownerE41held
E41-DISCOVERY-trust_domaindiscovery metadata requires trust_domainE41held
E41-DISCOVERY-capabilitiesdiscovery metadata requires capabilitiesE41held
E41-DISCOVERY-interfacesdiscovery metadata requires interfacesE41held
E41-DISCOVERY-protocolsdiscovery metadata requires protocolsE41held
E41-DISCOVERY-authority_modeldiscovery metadata requires authority_modelE41held
E41-DISCOVERY-governance_requirementsdiscovery metadata requires governance_requirementsE41held
E41-DISCOVERY-execution_boundariesdiscovery metadata requires execution_boundariesE41held
E41-DISCOVERY-evidencediscovery metadata requires evidenceE41held
E41-DISCOVERY-attestationdiscovery metadata requires attestationE41held
E41-DISCOVERY-versiondiscovery metadata requires versionE41held
E41-DISCOVERY-dependenciesdiscovery metadata requires dependenciesE41held
E41-DISCOVERY-limitationsdiscovery metadata requires limitationsE41held
E41-DISCOVERY-conformance_statusdiscovery metadata requires conformance_statusE41held
E41-DISCOVERY-revocation_statediscovery metadata requires revocation_stateE41held
E41-DISCOVERY-policy_languagesdiscovery metadata requires policy_languagesE41held
E41-DISCOVERY-authorization_mechanismsdiscovery metadata requires authorization_mechanismsE41held
E42-SURFACE-mcpuniversal action surface mcp is coveredE42held
E42-SURFACE-edgeuniversal action surface edge is coveredE42held
E42-SURFACE-physical_gatewayuniversal action surface physical_gateway is coveredE42held
E42-SURFACE-financial_apiuniversal action surface financial_api is coveredE42held
E42-SURFACE-enterprise_apiuniversal action surface enterprise_api is coveredE42held
E42-ABI-Identitygovernance ABI object Identity existsE42held
E42-ABI-Intentgovernance ABI object Intent existsE42held
E42-ABI-Actiongovernance ABI object Action existsE42held
E42-ABI-Capabilitygovernance ABI object Capability existsE42held
E42-ABI-Policygovernance ABI object Policy existsE42held
E42-ABI-Authoritygovernance ABI object Authority existsE42held
E42-ABI-Riskgovernance ABI object Risk existsE42held
E42-ABI-Evidencegovernance ABI object Evidence existsE42held
E42-ABI-Authorizationgovernance ABI object Authorization existsE42held
E42-ABI-Executiongovernance ABI object Execution existsE42held
E42-ABI-Outcomegovernance ABI object Outcome existsE42held
E42-ABI-Receiptgovernance ABI object Receipt existsE42held
E42-ABI-Incidentgovernance ABI object Incident existsE42held
E42-ABI-Evolutiongovernance ABI object Evolution existsE42held

1 2 3 4 5

Other niches

Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Autonomy, control loops & recovery · Policy, law & governance · Trust & reputation · Supply chain, registry & lifecycle · Benchmarks, coverage & performance · Core guarantees

Try CAIN-42 on your own agents

Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.

Create a free account →  ·  Try the sandbox  ·  See the whole ecosystem