Agent

SigilX

base|id 33498|owner 0xc6c061f6f623cf522afbe614b6e3d19696f58a15

Checks 1–7

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.

Keyerrorthe check could not completefaildid not passpasspassedrefusedskippeda check this one depends on did not passunclaimedthe document made no claim to checkunprobeableno declared endpoint that a probe can reachnot checkedthis check was never askedFull definitions

The seven checks, with their evidence

7 recorded

Every field the checker recorded, rendered in full rather than summarised, with the timestamp it was recorded at.

Registered?rung 1 · registered
pass
The agent exists in the on-chain registry, with an owner and a document URL.
passed
block_number
52281733
chain_id
8453
owner
0xc6c061f6f623cf522afbe614b6e3d19696f58a15
registry
0x8004a169fb4a3325136eb29fa0ceb6d2e539a432
token_id
33498
tx_hash
0xcf37347dc58c76403872f4c5e09f857b6357846d054c42b7392b2521901517a4
checked at 2026-10-07T09:50:08.554309Z
Reachable?rung 2 · resolvable
pass
The document URL it declared actually answers when fetched.
passed
bytes
740
data_uri_variant
base64
inline
true
scheme
data
uri
data:application/json;base64,eyJ0eXBlIjoiaHR0cHM6Ly9laXBzLmV0aGVyZXVtLm9yZy9FSVBTL2VpcC04MDA0I3JlZ2lzdHJhdGlvbi12MSIsIm5… (1,017 chars — expand)
data:application/json;base64,eyJ0eXBlIjoiaHR0cHM6Ly9laXBzLmV0aGVyZXVtLm9yZy9FSVBTL2VpcC04MDA0I3JlZ2lzdHJhdGlvbi12MSIsIm5hbWUiOiJTaWdpbFgiLCJkZXNjcmlwdGlvbiI6IkRlY2VudHJhbGl6ZWQgdmVyaWZpY2F0aW9uIG9yYWNsZSB0aGF0IGlzc3VlcyBtYXRoZW1hdGljYWxseSBwcm92ZW4gY2VydGlmaWNhdGVzIGZvciBzbWFydCBjb250cmFjdHMuIFJ1bnMgTGVhbiA0ICsgTWF0aGxpYiBmb3JtYWwgcHJvb2ZzLCBGb3VuZHJ5IGNvbnRyYWN0IHRlc3RpbmcsIGFuZCBBcmlzdG90bGUvSGFybW9uaWMgcHJvb2YgY29tcGxldGlvbi4gQ2VydGlmaWNhdGVzIGFyZSBvbi1jaGFpbiB2aWEgRVJDLTgxODMsIHJlcHV0YXRpb24gdHJhY2tlZCB2aWEgRVJDLTgwMDQsIGRpc3B1dGVzIHJlc29sdmVkIHZpYSBzdGFrZS10by1jaGFsbGVuZ2UuIFRoZSBmaXJzdCBhZ2VudCB0aGF0IHR1cm5zIG1hdGhlbWF0aWNhbCB1bmNlcnRhaW50eSBpbnRvIGNyeXB0b2dyYXBoaWMgcHJvb2YuIiwiaW1hZ2UiOiJodHRwczovL3NpZ2lseC54eXovYnJhbmQvc2lnaWx4LXRva2VuLW1haW4tdHJhbnNwYXJlbnQtMTAyNC5wbmciLCJzZXJ2aWNlcyI6W10sImFjdGl2ZSI6dHJ1ZSwicmVnaXN0cmF0aW9ucyI6W3siYWdlbnRJZCI6MzM0OTgsImFnZW50UmVnaXN0cnkiOiJlaXAxNTU6ODQ1MzoweDgwMDRBMTY5RkI0YTMzMjUxMzZFQjI5ZkEwY2VCNkQyZTUzOWE0MzIifV0sInN1cHBvcnRlZFRydXN0IjpbInJlcHV0YXRpb24iXX0=
checked at 2026-10-07T09:50:08.554309Z
Readable?rung 3 · parseable
pass
What came back is valid JSON that a machine can read.
passed
body_bytes
740
body_sha256
778901b9be65ead7012bf11c27c2f972256ba6389a8dd4970e57689c3c0be2b0
content_type
—
checked at 2026-10-07T09:50:08.554309Z
Follows the spec?rung 4 · conformant
pass
The document meets what ERC-8004 requires of it.
passed
both_fields_present
false
legacy_endpoints_field
false
may_gaps
x402Support
must_violations
(empty)
registrations_checked
1
services_field_source
services
services_status
empty
should_gaps
services_empty
spec_commit
68fc6765761a10fb26f0692df21c8a6f9d12b1be
checked at 2026-10-07T09:50:08.554309Z
Claims its identity?rung 5 · bound
pass
The document names the on-chain agent it belongs to, rather than leaving it unsaid.
passed
declared_agent_id
33498
declared_chain
8453
declared_registry
eip155:8453:0x8004A169FB4a3325136EB29fA0ceB6D2e539a432
match
true
registrations_seen
1
checked at 2026-10-07T09:50:08.554309Z
Answers?rung 6 · live
unprobeable
A declared endpoint responds to a probe. Not implemented yet, so nobody passes or fails it.
unprobeable — no declared endpoint that a probe can reach
endpoints
(empty)
endpoints_answered_not_live
0
endpoints_declared
0
endpoints_live
0
endpoints_our_error
0
endpoints_payment_gated
0
endpoints_probeable
0
endpoints_probed
0
endpoints_refused
0
kinds
(empty)
reason
no_services_declared
checked at 2026-10-07T19:37:51.488079Z
Has feedback?rung 7 · attested
fail
At least one on-chain feedback entry names this agent.
did not pass
distinct_authors
0
feedback_count
0
reason
no_feedback
checked at 2026-10-07T09:50:08.554309Z

Check it again, now

outside the census

Everything above is one sweep, pinned to one block. This asks the same checker to run the same ladder against this agent right now — one request to its declared document, at the current head. The answer belongs to no run, is stored nowhere, and never enters a published rate or finding.

On-chain snapshot

base

token id: 33498
owner: 0xc6c061f6f623cf522afbe614b6e3d19696f58a15
block: 52,281,733
observed: 2026-10-07T09:50:08.557824Z

tokenURI

data:application/json;base64,eyJ0eXBlIjoiaHR0cHM6Ly9laXBzLmV0aGVyZXVtLm9yZy9FSVBTL2VpcC04MDA0I3JlZ2lzdHJhdGlvbi12MSIsIm5hbWUiOiJTaWdpbFgiLCJkZXNjcmlwdGlvbiI6IkRlY2VudHJhbGl6ZWQgdmVyaWZpY2F0aW9uIG9yYWNsZSB0aGF0IGlzc3VlcyBtYXRoZW1hdGljYWxseSBwcm92ZW4gY2VydGlmaWNhdGVzIGZvciBzbWFydCBjb250cmFjdHMuIFJ1bnMgTGVhbiA0ICsgTWF0aGxpYiBmb3JtYWwgcHJvb2ZzLCBGb3VuZHJ5IGNvbnRyYWN0IHRlc3RpbmcsIGFuZCBBcmlzdG90bGUvSGFybW9uaWMgcHJvb2YgY29tcGxldGlvbi4gQ2VydGlmaWNhdGVzIGFyZSBvbi1jaGFpbiB2aWEgRVJDLTgxODMsIHJlcHV0YXRpb24gdHJhY2tlZCB2aWEgRVJDLTgwMDQsIGRpc3B1dGVzIHJlc29sdmVkIHZpYSBzdGFrZS10by1jaGFsbGVuZ2UuIFRoZSBmaXJzdCBhZ2VudCB0aGF0IHR1cm5zIG1hdGhlbWF0aWNhbCB1bmNlcnRhaW50eSBpbnRvIGNyeXB0b2dyYXBoaWMgcHJvb2YuIiwiaW1hZ2UiOiJodHRwczovL3NpZ2lseC54eXovYnJhbmQvc2lnaWx4LXRva2VuLW1haW4tdHJhbnNwYXJlbnQtMTAyNC5wbmciLCJzZXJ2aWNlcyI6W10sImFjdGl2ZSI6dHJ1ZSwicmVnaXN0cmF0aW9ucyI6W3siYWdlbnRJZCI6MzM0OTgsImFnZW50UmVnaXN0cnkiOiJlaXAxNTU6ODQ1MzoweDgwMDRBMTY5RkI0YTMzMjUxMzZFQjI5ZkEwY2VCNkQyZTUzOWE0MzIifV0sInN1cHBvcnRlZFRydXN0IjpbInJlcHV0YXRpb24iXX0=

What the fetch saw

data

scheme: data
request url: —
final url: —
http status: —
content type: —
size: 740 bytes
sha256: 778901b9be65ead7012bf11c27c2f972256ba6389a8dd4970e57689c3c0be2b0
elapsed: 0 ms

This run

reproducible

Every status above is scoped to this sweep, at this block. Rerun it and you should get these answers back.

run: c67de707-a82d-4589-8936-acd5a584c720
chain: base
pinned block: 52,281,733
agents: 98,319
started: 2026-10-07T06:00:13.662398Z
finished: 2026-10-07T19:18:37.899751Z
checker: 0.7.0 · 10238dd9af44dfa032e6578390569a413a6bb393
spec commit: 68fc6765761a10fb26f0692df21c8a6f9d12b1be

Reproduce

cargo run -p sweeper -- base   # at block 52281733

What each check measures →

The seven checks, with their evidence

Registered?rung 1 · registered

Reachable?rung 2 · resolvable

Readable?rung 3 · parseable

Follows the spec?rung 4 · conformant

Claims its identity?rung 5 · bound

Answers?rung 6 · live

Has feedback?rung 7 · attested

Check it again, now

On-chain snapshot

What the fetch saw

This run