"author:swesmith-repos" matching MCP servers:

• MCP Server for WinDbg Crash

  swesmith-repos

  A

  license

  -Not graded

  quality

  -Not graded

  maintenance

  Bridges AI models with WinDbg to analyze Windows crash dumps and perform remote debugging through natural language queries, enabling execution of debugger commands and automated crash analysis.

  Updated 8 months ago (2025-12-27 01:36 UTC)

• MCP Solver

  swesmith-repos

  A

  license

  -Not graded

  quality

  -Not graded

  maintenance

  An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.

  Updated 7 months ago (2026-01-24 00:05 UTC)