SigilX
Reputation
formula v1.3Signals
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.
Source: data:application/json;base64,eyJ0eXBlIjoiaHR0cHM6Ly9laXBzLmV0aGVyZXVtLm9yZy9FSVBTL2VpcC04MDA0I3JlZ2lzdHJhdGlvbi12MSIsIm5hbWUiOiJTaWdpbFgiLCJkZXNjcmlwdGlvbiI6IkRlY2VudHJhbGl6ZWQgdmVyaWZpY2F0aW9uIG9y...
Raw metadata
{
"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"
]
}
Registrations
Cross-chain pointers from this agent's metadata back to its on-chain identity.
| Chain | Registry | Agent ID |
|---|---|---|
| Base Mainnet | 0x8004A169FB4a3325136EB29fA0ceB6D2e539a432 | 33498 |
Services
No services configured.
The ValidationRegistry contract is not yet deployed on Base Mainnet. Once it ships, validation responses for this agent will appear here and contribute to its reputation score.
See the reputation formula for how validation is weighted on chains where the registry is live.