Interfacing MCP with Combinatorial, Convex, and SMT Solvers (by sdiehl) — discussion
#python #vibecoding
