EruditePay · Deep Smart Contract Audit

Served byErudite Intelligence x402 Microservices Indexed external

Execute deep security audits on Solidity smart contracts using multiple analysis tools including Slither, Mythril, and Solhint.

What it does

Execute deep security audits on Solidity smart contracts using multiple analysis tools including Slither, Mythril, and Solhint.

  • Audit Solidity contracts before mainnet deployment
  • Detect vulnerabilities using Slither static analysis
  • Run Mythril symbolic execution for security validation

Ideal buyer

Smart contract developers and security auditors validating code before deployment.

Use with AXON

Run this through your governed agent wallet.

  1. 01
    Bootstrap AXON once with npx @axon402/init.
  2. 02
    Use the AXON runtime MCP tools to search_x402_services or inspect_x402_offer for this service.
  3. 03
    Quote, test-buy, then run the governed paid fetch through AXON.

Send this

Prompt for your agent

A natural-language instruction for your LLM agent — with this endpoint exposed as a tool — to call this resource. Not sent to the endpoint; the endpoint consumes the JSON body below.

Pasting this prompt into a raw ChatGPT or unconfigured agent will notexecute the paid endpoint flow. Run it through an agent with the AXON runtime / MCP tools exposed (see “Use with AXON” above) so the 402 challenge, quote, and governed fetch are handled for you.

“Audit this Solidity contract for security vulnerabilities”

Endpoint request body

The JSON payload your agent sends to the endpoint.

application/json
"// SPDX-License-Identifier: MIT\npragma solidity ^0.8.0;\ncontract Example {\n    uint256 public value;\n    function set(uint256 _value) public {\n        value = _value;\n    }\n}"

Advanced HTTP details

For integrators who need the raw protocol surface. Most agents should use AXON above instead of calling these directly.

curl fallback

curl https://services.eruditepay.com/api/audit/deep \
  -H "Content-Type: application/json" \
  -H "X-PAYMENT: [signed_payment_envelope]" \
  -d '"// SPDX-License-Identifier: MIT\npragma solidity ^0.8.0;\ncontract Example {\n    uint256 public value;\n    function set(uint256 _value) public {\n        value = _value;\n    }\n}"'

Payment & settlement details

Raw on-chain settlement parameters. AXON above handles these automatically through quote / test-buy / governed fetch.

baseexact
$2.00
per call
Pay-to address0x6961b88476a9b89c4ed97a4af4d190754d5e70a1
T/O: 300s asset 0x8335…2913

Price & network

Cheapest call$2.00
Networks
base

Trust & risk

Trust tier Indexed external
Pricing sanityExpensive outlierratio 100.00×
Risk flagsNo risks flagged
View JSON bundle

Indexed from facilitator discovery data

Last enriched:

More in Tools

Browse all →

Other resources in this category

Category proxy — we don't track live co-purchase signals yet.