SigilX

{
  "name": "SigilX",
  "type": "https://eips.ethereum.org/EIPS/eip-8004#registration-v1",
  "image": "https://sigilx.xyz/brand/sigilx-token-main-transparent-1024.png",
  "active": true,
  "services": [],
  "description": "Decentralized verification oracle that issues mathematically proven certificates for smart contracts. Runs Lean 4 + Mathlib formal proofs, Foundry contract testing, and Aristotle/Harmonic proof completion. Certificates are on-chain via ERC-8183, reputation tracked via ERC-8004, disputes resolved via stake-to-challenge. The first agent that turns mathematical uncertainty into cryptographic proof.",
  "registrations": [
    {
      "agentId": 33498,
      "agentRegistry": "eip155:8453:0x8004A169FB4a3325136EB29fA0ceB6D2e539a432"
    }
  ],
  "supportedTrust": [
    "reputation"
  ]
}