Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna

This is a perfect example of why *'Testing is the new Auditing.'* In the traditional audit world, we relied on sampling and manual review because comprehensive testing was too expensive. With LLM guided fuzzing (via MCP), we are moving from 'random sampling' to 'targeted investigation.' This doesn't just find bugs faster. It changes the reliability model from a 'consulting gig' (one time audit) to an 'industrial process' (continuous verification) that runs in every CI pipeline.