"Sumo Logic" matching MCP servers:

MCP server that gives small LLMs verified symbolic-math & logic tools.

Enables MCP clients like Cursor to control logic analyzers, open capture files, decode buses such as Intel 8080, and reconstruct display framebuffers like ST7789.

Gives an AI agent complete knowledge of a specific DevExpress XAF application: its entities, controllers, actions, business rules, Model Editor customizations, custom property editors and the version-gated data migrations that ran once on a production database. Reads the source with Roslyn without compiling it, so it works on a branch that does not build and needs no DevExpress licence.

Enables AI coding tools to manage Neural Draft's CMS, blog, social, booking, and commerce features through natural language, bridging AI-generated frontends with backend business logic.

SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.

A RunAPI MCP server for the Suno music generation models, enabling task creation (text-to-music, covers, mashups, etc.), polling, and pricing lookup through a single API key.