omni-x402-prover@2.2.0
VERIFIED· not startedPublisher claims: "Production-grade Z3 SMT formal verification pay-per-proof MCP server on Base Mainnet USDC covering ERC-4626 vaults, Polymarket solvency, MEV sandwich bounds, Permit2, and Tarjan taint graphs." Observed in sandbox: no network, touches nothing outside the project, writes no memory.
Coverage
Not started: dependency install failed; the server itself was not observed.- Tested
- the dependency install step · every file read, file written and host contacted by what ran
- Not tested
- server startup · the tool list · tool behavior
What this means for the label: Verified here covers what ran. The server's tools were not exercised with a real credential, so nothing about their behavior is asserted; the credential summary below says what to do with that.
Before you give it your token
- It will ask for
TELEGRAM_BOT_TOKENX402_FACILITATOR_BEARER_TOKENConfiguration, not credentials: OMNI_STREAMS_DB_PATH, OMNI_TRUST_DB_PATH, TELEGRAM_CHAT_ID, X402_ALLOW_LOOPBACK_FOR_TESTS, X402_ASSET_ADDRESS, X402_FACILITATOR_URL, X402_MAX_TIMEOUT_SECONDS, X402_MOCK_FACILITATOR, X402_NETWORK, X402_PAY_TO_ADDRESS, X402_SECONDARY_FACILITATOR_URL, X402_TRUST_GRADE_DB_PATH- Where it talks to
- no vendor host named in the codeAlso payai.network, publicnode.com, oceaneye-ai.com, stealthmark.io, polymarket.com, kalshi.com, telegram.org, x402scan.com, coinbase.com, base.org, cloudflare.com, glama.ai — not the publisher's domain; check what for before connecting.
- What the honeypot saw
- no credential files read · no network
- What we could not test
- server startup · the tool list · tool behavior
Connect it with a scoped credential, under the guard, and read the third-party hosts first. The code names payai.network, publicnode.com, oceaneye-ai.com, stealthmark.io, polymarket.com, kalshi.com, telegram.org, x402scan.com, coinbase.com, base.org, cloudflare.com, glama.ai as well as its own vendor. The guard injects TELEGRAM_BOT_TOKEN, X402_FACILITATOR_BEARER_TOKEN only into requests to the host you bind (and its subdomains) and refuses the rest.
Never paste a credential into a chat, a ticket or a report, including ours. How the guard holds it.
Is [email protected] safe to install?
KillerSkills ran it in the KillerSkills honeypot sandbox (2 scenarios; not started: dependency install failed; the server itself was not observed) on 2026-11-09 and scored it 81/100 (Verified). In what ran, nothing we could detect went wrong: no undeclared network egress, no credential reads, no persistent instruction writes. What it does with a real credential was not observed; the static findings and the publisher carry the rest of the score. Summary: no network, touches nothing outside the project, writes no memory.
Behavior trace
Honeypot run · 0 s · 2 scenarios · 0 deviationsStatic findings
"file:///etc/passwd",Fix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.npx -y agentcash@latest fetch https://gateway.stealthmark.io/x402/verify-vault-and-rounding \Fix: Pin versions and sources; vendor anything fetched at install time.print(f"[-] Failed executing npx agentcash register for {origin}: {e}")Fix: Pin versions and sources; vendor anything fetched at install time.proc = subprocess.run(Fix: Build commands from fixed arguments, never from interpolated strings; prefer an API client over shelling out.document.getElementById('cmd').textContent = `npx -y agentcash@latest fetch {base_url}${{ep}} -X POST`;Fix: Pin versions and sources; vendor anything fetched at install time.help="Run npx -y agentcash@latest register <origin> to re-index on x402scan.com",Fix: Pin versions and sources; vendor anything fetched at install time.newurl="https://169.254.169.254/latest/meta-data",Fix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.Optionally runs `npx -y agentcash@latest register <origin>` to re-index both gatewaysFix: Pin versions and sources; vendor anything fetched at install time.f"https://api.telegram.org/bot{tg_token}/sendMessage",Fix: Replace encoded or assembled strings with plain literals and remove undeclared network calls."command": f"npx -y @modelcontextprotocol/inspector https://{domain}",Fix: Pin versions and sources; vendor anything fetched at install time.validate_public_https_target("https://admin:[email protected]")Fix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose."""Execute npx -y agentcash@latest register <origin> for both gateways."""Fix: Pin versions and sources; vendor anything fetched at install time.<div style="font-size:12px;margin-bottom:8px">AgentCash CLI Command: <code id="cmd">npx -y agentcash@latest fetch {base_url}/x402/verify-polymarket-basket -X POST</code></div>Fix: Pin versions and sources; vendor anything fetched at install time."https://169.254.169.254/latest/meta-data",Fix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.Cost to the agent
Tokens estimated at four characters each. The tool list is re-read by the agent on every turn, so it is the number to compare between servers that do the same job: ranked across the index.
Known vulnerabilities
Vulnerability advisories (OSV) cover npm and PyPI packages; this registry has no advisory database.