{
 "name": "Kairos Signal \u2014 Data A2A Adapter",
 "description": "Kairos Signal: verifiable DePIN and physical-world data, with cryptographic receipts on its REST data API (ed25519-signed responses, Bitcoin-anchored daily batches). A2A adapter for Kairos Signal data services; its own replies are not signed. Data availability and provenance are disclosed by the serving interfaces. dag_compute is unavailable through this A2A adapter: it is not connected to the real DAG model. Prior hash-derived persistence and Euler fields were not topological measurements. No model inference is performed or charged. No predictive-performance or trading-return claim is made here.",
 "url": "https://kairossignal.com",
 "version": "2.2.0",
 "provider": {
  "name": "Kairos Signal",
  "url": "https://kairossignal.com"
 },
 "capabilities": {
  "streaming": true,
  "pushNotifications": false
 },
 "authentication": {
  "schemes": [
   "bearer"
  ],
  "signup_url": "https://kairossignal.com/v1/credits/register",
  "payment_url": "https://kairossignal.com/v1/credits/topup",
  "self_serve_register": "POST https://kairossignal.com/v1/credits/register {\"email\":\"...\"} \u2192 $5 free credits (first 3 keys per IP per 30 days) + api_key",
  "self_serve_purchase": "POST https://kairossignal.com/v1/credits/purchase {\"product_key\":\"depin_intel_bundle\"} with X-API-Key header",
  "self_serve_topup": "POST https://kairossignal.com/v1/credits/topup {\"method\":\"stripe\",\"amount\":99} \u2192 Stripe checkout URL",
  "design_partner_url": "https://buy.stripe.com/dRm00b9zT81o5a50Na1ZS20",
  "payment_description": "Two ways to pay: (1) Self-serve credits \u2014 register free ($5 credits (first 3 keys per IP per 30 days)), buy data products from $0.49 (every price: GET https://kairossignal.com/v1/credits/pricing; browsing GETs are free), top up via Stripe $20/$99 or USDC on Base. (2) Design Partner \u2014 $199/mo, all 317 live networks, Design Partner capabilities: 30-day daily history, active engines and cross-network views; Watchtower, exports and webhooks excluded, daily snapshot history, rate locked FOREVER."
 },
 "formal_verification": {
  "lean4_kernel_checked": [
   "CostIdentity",
   "GateFailClosed"
  ],
  "z3_smt_proofs": "verified",
  "property_and_system_tests_passed": 26,
  "estate_invariants_verified": 5,
  "counterexamples_found": 0,
  "verify_command": "formal_verification/run_all.sh",
  "note": "Real, kernel-checked. No Coq/Isabelle/Dafny proofs exist \u2014 earlier counts (250 properties across 5 assistants) were scaffold-only and were retracted in a 2026-08-06 internal audit."
 },
 "empirical_evidence": {
  "predictive_performance_claim": "none",
  "note": "No live return/AUC claim is made. Prior AUC figures were found to be train/test split leakage in a 2026-08-09 adjudication and are retracted. The product's value is VERIFIABLE DATA (first-party DePIN telemetry with provenance), not a return model.",
  "cryptographic_ledger": "None. default.signal_ledger holds the paper traders' recorded entry signals and is not a cryptographic provenance chain: only the rows written 2026-06-14..2026-08-02 carry a chain_hash/prev_hash, the rows written since 2026-08-17 carry neither, and no row is signed (measured from the table 2026-10-24)."
 },
 "skills": [
  {
   "id": "depin_intelligence",
   "name": "DePIN Supply Telemetry",
   "description": "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."
  },
  {
   "id": "derivation_ledger",
   "name": "Derivation Ledger (replayable derivation)",
   "description": "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/<SYM>; each row's proof says whether its derived values came from that fetch. The pinned build's source is not served publicly. Free index: GET https://kairossignal.com/v1/derivation?symbol=AKT. The newest 100 rows with their raw bodies (optionally for one symbol): $2.99.",
   "inputSchema": {
    "type": "object",
    "properties": {
     "symbol": {
      "type": "string",
      "description": "Optional symbol filter (e.g. AKT). Omit for the coverage list."
     }
    }
   }
  },
  {
   "id": "world_intelligence",
   "name": "World Intelligence (measured physical-world telemetry)",
   "description": "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."
  },
  {
   "id": "purchase_data",
   "name": "Purchase Data Product",
   "description": "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.",
   "inputSchema": {
    "type": "object",
    "properties": {
     "sku": {
      "type": "string",
      "enum": [
       "depin_provenance",
       "depin_networks",
       "depin_revenue_snapshot",
       "depin_history",
       "depin_health_profile",
       "depin_enrichment",
       "depin_ai_intel",
       "node_quality_score",
       "market_regime",
       "depin_intel_bundle"
      ],
      "description": "Credit-purchasable dataset. Check GET /v1/credits/pricing for current availability; POST /v1/credits/purchase uses product_key=<sku>, and successful delivery is inline."
     },
     "api_key": {
      "type": "string",
      "description": "Your credits key; pass as api_key. Obtain it via POST /v1/credits/register."
     }
    },
    "required": [
     "sku",
     "api_key"
    ]
   },
   "availability_notice": "depin_grades is currently withdrawn, not charged, pending measured letter grades. Check GET /v1/credits/pricing for current availability; earlier purchase receipts remain readable."
  },
  {
   "id": "verify_proofs",
   "name": "Formal Verification Report",
   "description": "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 \u2014 no API key required."
  }
 ],
 "keywords": [
  "dag",
  "directed-acyclic-graph",
  "topological-data-analysis",
  "dimensionality-reduction",
  "feature-engineering",
  "depin",
  "depin-telemetry",
  "provenance",
  "data-marketplace",
  "data-api",
  "world-intelligence",
  "ais",
  "maritime-tracking",
  "satellite-tracking",
  "gps-jamming",
  "dht",
  "mixnet",
  "bittensor",
  "airspace-data",
  "network-telemetry",
  "node-utilisation",
  "financial-data",
  "market-intelligence",
  "alternative-data",
  "quantitative-finance",
  "mcp",
  "mcp-server",
  "model-context-protocol",
  "ai-agent",
  "autonomous-agent",
  "rag",
  "retrieval-augmented-generation",
  "embedding",
  "json-api",
  "rest-api",
  "subscription",
  "stripe",
  "autonomous-purchase"
 ],
 "tags": [
  "dag",
  "manifold",
  "topology",
  "depin",
  "provenance",
  "world-intelligence",
  "physical-world-data",
  "data-marketplace",
  "financial-data",
  "alternative-data",
  "mcp",
  "ai-agent",
  "autonomous-purchase",
  "embedding",
  "feature-engineering"
 ],
 "endpoints": {
  "tasks": "https://kairossignal.com/a2a/tasks",
  "sse": "https://kairossignal.com/a2a/sse"
 },
 "pricing": {
  "free_tier": "$5 in credits (first 3 keys per IP per 30 days) on self-registration",
  "depin_provenance": "$0.49 \u2014 first-party supply telemetry, provenance-first",
  "depin_design_partner": "$199/mo \u2014 DePIN Data API Design Partner (Founder): all 317 live networks , Design Partner capabilities: 30-day daily history, active engines and cross-network views; Watchtower, exports and webhooks excluded, daily snapshot history, rate locked FOREVER",
  "manifold_api": "Unavailable through this A2A adapter; no model inference or charge."
 },
 "not_investment_advice": "Kairos Signal is not a broker-dealer, investment advisor, or financial services provider. Nothing published here is a recommendation to buy or sell any asset. Measurements and research only, without warranty.",
 "terms_url": "https://kairossignal.com/terms",
 "disclaimer_url": "https://kairossignal.com/disclaimer",
 "withdrawn_skills": {
  "dag_compute": {
   "status": "unavailable",
   "http_status": 503,
   "notice": "dag_compute is unavailable through this A2A adapter: it is not connected to the real DAG model. Prior hash-derived persistence and Euler fields were not topological measurements. No model inference is performed or charged."
  },
  "query_federal_contracts": {
   "status": "retired",
   "http_status": 410,
   "notice": "query_federal_contracts is retired: federal award records are outside Kairos Signal scope (DePIN, world and network data). Nothing is charged."
  }
 }
}