Formal verification pipeline for AI-generated Python code — 5-stage proof from syntax to Dafny, with CVE scanning, property-based testing, and CEGIS retry loop.
fastmcp 2.14.5 OAuth authorization codes can be redirected to attacker-controlled URLs.
fnmatch("https://evil.com/cb?legit.example.com/anything", "https://*.example.com/*") returns True.
OAuthProxy… [+7532 chars]
