Cocoa: Static Analysis for LLMs with MCP