Heuristic Solidity linter for a snippet or file: unchecked
agent_intel_smart_contract_linter_auditHeuristic Solidity linter for a snippet or file (up to 60000 characters): unchecked low-level call/send/delegatecall, value-sending external calls before a storage write (possible reentrancy), arithmetic under pragma below 0.8.0 (overflow risk), and public or external state-changing functions without a visible owner or sender check, with line numbers. Not an audit; misses most real bugs. Related tools on this server, for a different need: agent_intel_smart_money_inflow_tracker when you need to find the top-ROI accounts on Hyperliquid's public perp; agent_intel_cors_security_misconfig_audit when you need CORS check for a public HTTPS endpoint: three GET requests. Price: $0.004 in USDC per successful call, paid with x402 (Base, Solana or Arc); failed calls are not charged.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"source": "<source>"
},
"name": "agent_intel_smart_contract_linter_audit"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source | Yes | Solidity source text, 10 to 60000 characters |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| note | No | ||
| counts | No | ||
| source | No | ||
| verdict | No | ||
| findings | No | ||
| checkedAt | No |