# Omni x402 Formal Invariant Prover API (sentinel.oceaneye-ai.com)

> Production-grade Z3 formal verification pay-per-proof server on Base Mainnet (eip155:8453 USDC).
> Listed on x402scan: https://www.x402scan.com/server/f2245b59-82c5-46ae-bb13-d88836d7910f
> Try instantly via AgentCash CLI: npx agentcash try https://sentinel.oceaneye-ai.com

## Paid x402 v2 Endpoints (Base USDC Micropayments)
- POST https://sentinel.oceaneye-ai.com/x402/verify-vault-and-rounding ($0.02 USDC): Formal Z3 proof of ERC-4626 share inflation & rounding invariants.
- POST https://sentinel.oceaneye-ai.com/x402/verify-polymarket-basket ($0.02 USDC): Formal Z3 arbitrage & Dutch-book solver for prediction market baskets.
- POST https://sentinel.oceaneye-ai.com/x402/verify-zk-and-bitvec ($0.03 USDC): Under-constrained ZK circuit & 256-bit EVM/Rust BitVec overflow prover.
- POST https://sentinel.oceaneye-ai.com/x402/verify-differential-spec ($0.05 USDC): Cross-implementation differential equivalence & patch-gap verifier.

## Discovery & OpenAPI
- OpenAPI 3.1 Spec: https://sentinel.oceaneye-ai.com/openapi.json
- Bazaar Manifest: https://sentinel.oceaneye-ai.com/.well-known/x402-bazaar.json