Live · solana-devnet

On-chain deployment status

Real-time status of the three AgentTrust programs on Solana devnet. Pulled directly from api.devnet.solana.com via getAccountInfo on page load. Click any program ID to open Solana Explorer.

policy_vault

5 policy kinds + Kani-proven invariants

Program ID: 8Y6fGeNEHgmWmbt8JsRcF72jxbeBfJhomMjG6SuoJQTR
Owner
Data length
Network: solana-devnet

trustgate

x402 facilitator + give_feedback CPI

Program ID: HF8zHfoyA7b5mhLViopTnRMprc6ZT5KActHTdkFrih2N
Owner
Data length
Network: solana-devnet

validation_registry

4 PDAs + 5 instructions; capability attestation

Program ID: Cx4RFa6ysw3qXYhugPkF8pFSWBkmKq59h2dWgF2tKhtv
Owner
Data length
Network: solana-devnet

Verify yourself

Don’t trust this dashboard.

Every claim on this page is independently verifiable. Run these from your terminal — no client-side caching, no intermediaries. The same RPC the dashboard uses.

terminal

# verify all 3 programs are executable
$ for p in 8Y6fGeNEHgmWmbt8JsRcF72jxbeBfJhomMjG6SuoJQTR \
           HF8zHfoyA7b5mhLViopTnRMprc6ZT5KActHTdkFrih2N \
           Cx4RFa6ysw3qXYhugPkF8pFSWBkmKq59h2dWgF2tKhtv; do
    solana program show "$p" --url devnet | grep Executable
  done

# install the SDK
$ pnpm add @agenttrust-sdk/trustgate

# run the Kani proofs locally
$ git clone https://github.com/mohit-1710/agenttrust && cd agenttrust
$ cargo kani --manifest-path programs/policy-vault/Cargo.toml