Kairos Signal — Data A2A Adapter
An A2A client finds this agent by fetching the well-known path on the provider's own host. That is what makes an agent card different from every other agent artifact in this catalog: it is provider-published by construction — it cannot be derived, generated, or reconstructed on a provider's behalf.
DePIN Supply Telemetry depin_intelligence
Supply-side telemetry for 317 live networks (289 first-party, 7,313 first-party series); the other live networks are on-chain only. Provenance-first: series read from each network's own API or chain (node, capacity and utilisation series where a network publishes them; for many networks only token supply and holder counts read from the token contract), plus daily snapshot history. Every value carries its source and a public verify-yourself URL. From $0.49.
Derivation Ledger (replayable derivation) derivation_ledger
Recorded derivation-ledger rows carry the upstream body we received (raw_body), its SHA-256 and the collector build hash (code_sha256), for the collector sources listed in the free index. Replay: re-issue each row's replay request (JSON-RPC origins are POSTs whose request body was not recorded) -> compare with raw_body -> compare the derived values with /v1/network/
World Intelligence (measured physical-world telemetry) world_intelligence
Measured physical-world feeds with the same provenance guarantees as the DePIN rows: maritime AIS vessel counts from national receiver networks, GPS-interference map history, airspace (military aircraft airborne, active US temporary flight restrictions) and Bittensor subnet economic metrics. Current figures are served live on the A2A agent card (https://a2a.kairossignal.com/.well-known/agent-card.json); this static copy states none, so it cannot go stale.
Purchase Data Product purchase_data
Programmatic purchase of a Kairos data product with prepaid credits. Availability is product-specific; successful purchases deliver inline. Withdrawn products are refused, not charged. Personal-contact/lead products are not offered.
Formal Verification Report verify_proofs
Returns the real formal verification report: kernel-checked Lean4 theorems (CostIdentity, GateFailClosed) + Z3/SMT proofs + 26 property/system tests, 5 estate invariants verified, reproducible via formal_verification/run_all.sh. No performance/AUC claim (prior AUC figures were leakage, retracted 2026-08-09). Free — no API key required.
2026-10-30 from https://api.kairossignal.com/.well-known/agent-card.json,
HTTP 200. The body was saved verbatim and is the sole source for
everything on this page — no field is inferred.
View the captured card.
Providers change what they serve; if this card has moved or changed shape,
the provider profile carries the
current state as of the last build.
Work with this as data
Every agent card here is available over the APIs.io API and to AI agents over MCP. A2A Agent Cards is not yet its own endpoint on the v1 API. Reach it through catalog search and the tag graph, or the MCP server.