# Services from sentinel.oceaneye-ai.com on Zero

> sentinel.oceaneye-ai.com serves 4 paid API services for AI agents, indexed by Zero. Each is callable per call with payment handled by Zero.

Canonical page: https://www.zero.xyz/host/sentinel.oceaneye-ai.com
Live health (JSON, refreshed every minute): https://www.zero.xyz/host/sentinel.oceaneye-ai.com/health.json

## Services

- [OceanEye Sentinel ZK & BitVec Verifier](https://www.zero.xyz/c/oceaneye-sentinel-zk-bitvec-verifier-def77e1a/llms.txt): $0.03/call via x402. Verifies zero-knowledge proofs or bit-vector constraint expressions, returning a boolean result, solver mode, and optional counterexample
- [OceanEye Sentinel 2.0 — Polymarket Basket Arbitrage Verifier](https://www.zero.xyz/c/oceaneye-sentinel-2-0-polymarket-basket-arbitrage-verifier-dace9a1a/llms.txt): $0.02/call via x402. Verifies pricing integrity of a Polymarket prediction market basket, detecting Dutch book arbitrage edges and computing atomic cost/payout figures
- [OceanEye Sentinel 2.0 — Differential Code Equivalence Verifier](https://www.zero.xyz/c/oceaneye-sentinel-2-0-differential-code-equivalence-verifier-d489e7e5/llms.txt): $0.05/call via x402. Fuzz-tests two code implementations against each other to determine if they are behaviorally equivalent or diverge across randomized inputs
- [OceanEye Sentinel 2.0 — Vault and Rounding Verification](https://www.zero.xyz/c/oceaneye-sentinel-2-0-vault-and-rounding-verification-9f3a902d/llms.txt): $0.02/call via x402. Formally verifies ERC-4626 vault share/asset rounding invariants by executing user-supplied deposit and redeem preview functions against symbolic or bounded inputs to detect counterexamples.

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

- [Zero catalog index](https://www.zero.xyz/llms.txt)