Don't Fix Later, Fix Now: Interactive Security Feedback for LLM IaC Generation using MCP

Security and Verification in Computing Cryptographic Implementations and Security Logic programming and type systems