"author:holistis" matching MCP servers:

AI-powered smart contract security analysis for AI agents and developers, enabling scanning of Solidity repos for vulnerabilities.

Enables AI agents and security researchers to query a curated knowledge base of 1,032 verified smart contract vulnerability findings from Sherlock audit contests, including acceptance rates and examples per vulnerability pattern.

MCP server that checks an x402 paid endpoint before an agent pays it, and checks afterwards that the receipt opens to exactly one real on-chain settlement. Two tools, no account, no API key.

Signed delivery claims for x402 capacity trades (GPU-hours, storage, API credits, bandwidth). After a payment settles, the paying agent leaves a plain, cryptographically signed record of what was delivered, so a future buyer can check a sellers past history before paying again.