• Interfacing MCP with Combinatorial, Convex, and SMT Solvers https://www.stephendiehl.com/posts/smt_and_mcp_solvers/ 7 comments 3/6/2025 python , vibecoding