Skip to main content
Glama
Sign In
omni-x402-prover

omni-x402-prover

by stealthmark-io
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Hybrid

Related Servers

Alternatives to omni-x402-prover

No user-submitted related servers found.

    Related Servers

    • omni-x402-prover

      Gastonchevarria
      A
      license
      B
      quality
      C
      maintenance
      Enables autonomous agents and developers to pay per call in Base USDC to run formal cryptographic invariant verification, including vault rounding, Polymarket solvency, ZK witness uniqueness, and differential consensus checks using Z3 SMT and bounded algebraic solvers.
      5
      MIT
    • tereno-mcp

      tereno-mcpofficial

      tereno-xyz
      A
      license
      Not graded
      quality
      F
      maintenance
      MCP server for verifying blockchain safety on Base via x402, with free pricing/receipt tools and paid per-call guard, contract, and metadata checks settled in USDC.
      50 npm
      MIT

    • mev-history-mcp

      sebastiancoombs
      F
      license
      Not graded
      quality
      C
      maintenance
      Pay-per-call MCP server for EVM MEV history, offering sandwich check, MEV exposure score, and pool density analysis on multiple chains with USDC payment on Base.
      -

    • x402farm-mcp

      laurenthalbrun
      A
      license
      Not graded
      quality
      F
      maintenance
      MCP server that provides AI agents with pay-per-call access to a suite of tools (honeypot check, token market, DeFi yields, etc.) via USDC on Base using the x402 protocol.
      5 npm
      MIT

    • mercury-x402-mcp

      mercuryx402
      A
      license
      Not graded
      quality
      F
      maintenance
      MCP server providing 17 keyless, pay-per-use web-data tools with signed-provenance receipts, enabling AI agents to autonomously fetch, extract, and verify web content on Base mainnet.
      39 npm
      MIT

    This server cannot be deployed

    Claude Code, inside the Godot 4 editorFlockbay puts an AI agent in the real Godot 4 editor: it writes GDScript, runs your game and fixes what breaks. Free, or bring your own Claude Code or Codex.flockbay.comAd

    Maintenance

    ActivityMaintained
    ResponsivenessNo recent community issues

    Resources