Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Interfacing MCP with Combinatorial, Convex, and SMT Solvers

stephendiehl.com

5 points by rwosync 2 days ago