Executable proof systems for onchain agents.
$ npm install @sigilx/sdk // verify a contract import { verify } from "@sigilx/sdk" const result = await verify({source, tier: "standard"}) verdict: PASS certificate: minted on Base Sepolia
Protocol Flow
Submit
Send a .lean proof or .sol contract via the x402 API.
Verify
Cross-checked by two independent verification systems.
Certificate
On-chain via ERC-8183 on Base.
Proof Outcomes
All proof obligations satisfied. Certificate minted.
verdict: PASS certificate: minted action: cleared
Critical invariant violation detected. No certificate issued.
verdict: FAIL certificate: none action: rejected
Verification systems disagree. Escalated for deeper analysis.
verdict: DIVERGENCE certificate: none action: escalated
Proof Tiers
Verify
Proof verification and cross-checks. Fast pre-commit validation.
- ▸verify_proof / audit_cert
- ▸PASS / FAIL / DIVERGENCE verdict
- ▸API access
Analyze
Foundry testing, formal analysis, and auto-formalization.
- ▸forge_test / formal_analysis
- ▸auto_formalize (Solidity to Lean)
- ▸Mainnet fork testing ($7.50)
- ▸Divergence escalation
Certify
Full deep audit + on-chain ERC-8183 certificate.
- ▸deep_audit ($10)
- ▸Standard ERC-8183 certificate ($25)
- ▸Premium quorum certificate ($150)
- ▸Permanent on-chain proof
Protocol Layer
CertificateRegistry
0xc1c20B55...ERC-8183 proof certificate NFTs. Each verification produces a non-transferable certificate bound to the submitted artifact.
EvaluatorRegistry
0x2c0F572F...Evaluator staking and committee selection. Verifiers stake USDC and are selected via VRF for BFT quorum votes.
ReputationRegistry
0x5bF12808...ERC-8004 reputation tracking. Evaluators build reputation through accurate verdicts over time.
FeeRouter
0x010F576B...Fee distribution. Routes payment between evaluators, treasury, and protocol reserves.