Skip to main content
Glama

x402-smart-contract-audit

Smart Contract Audit: Smart contract security audit, solidity vulnerability scan. 11 static patterns: reentrancy, access-control, integer-overflow, unvalidated-call, tx.origin auth, delegatecall, selfdestruct, block.timestamp, weak-randomness, assert misuse, owner-change. Fast pre-check, deterministic. Case: minia2a.uk/blog/blog-ai-contract-audit-august-2026.html

Input Schema

NameRequiredDescriptionDefault
codeNo
sourceNo
contractNo
source_gzNo
source_b64No

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed5 schema fields changed
    • removedInput schema / properties / code / description
      Removed value: -"Code to process"
    • removedInput schema / properties / contract / description
      Removed value: -"Contract to process"
    • removedInput schema / properties / source / description
      Removed value: -"Source to process"
    • removedInput schema / properties / source_b64 / description
      Removed value: -"Source_b64 to process"
    • removedInput schema / properties / source_gz / description
      Removed value: -"Source_gz to process"
  2. First observed

TDQS

C2.9/5.0
Behavior3/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries the full behavioral burden; it does disclose genuinely useful traits — static (non-AI) analysis, deterministic output, fast, and the exact pattern set. However, it says nothing about input expectations (which of the five source params is required), output shape, or failure behavior, leaving large behavioral gaps.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness3/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The purpose is front-loaded and the body is short, but it is a colon-joined run-on of fragments rather than sentences, and the trailing 'Case: minia2a.uk/blog/...' promotional URL does not help invoke the tool and does not earn its place.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness2/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

No output schema, no annotations, and five undocumented parameters means the description must supply more than it does. It never explains what a caller must provide or what they will get back, so it is incomplete for a tool of this input complexity.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters1/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Five parameters (code, source, contract, source_gz, source_b64) exist at 0% schema description coverage, and the description adds zero information about them — no indication of whether they are alternatives, mutually exclusive, or formats (gzip/base64). It provides no compensation for the coverage gap, so an agent cannot know which field to populate.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose4/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description states a specific verb+resource ('Smart contract security audit, solidity vulnerability scan') and enumerates the 11 static patterns checked, so an agent knows exactly what it produces. It does not, however, differentiate itself from near-identical siblings like x402-contract-scan or x402-contract-triage, leaving selection ambiguous.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

'Fast pre-check, deterministic' implies a usage context (a quick preliminary scan, not a deep/exhaustive audit), but the description never states when to use this versus x402-contract-scan, x402-contract-triage, or x402-ai-audit. Usage is implied rather than instructed, and no exclusions or prerequisites are given.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources