Filters
Explore MCP Servers
1891 servers found
MCP Server Listings
Logic-LM (Answer Set Programming)
Enhances language models with formal logical reasoning capabilities by translating natural language problems to Answer Set Programming code, executing symbolic reasoning with Clingo solver, and interpreting results back to natural language for constraint satisfaction and multi-step deduction tasks.
Spec-Driven Development
Enforces structured software development workflows through 10 specialized tools that guide projects from specification to test-driven implementation with EARS format requirements, technical design creation, task breakdown, and validation gates for maintaining consistent development practices and thorough documentation.
Tyler Forge
Provides access to Tyler Technologies' design system documentation, component APIs, design tokens, and framework integration guides with intelligent search, icon discovery, and templated documentation generation for building applications with Tyler Forge components.
Phaser Editor MCP Server
Connects LLMs to Phaser Editor v5 to facilitate the management of game scenes, assets, and tilemaps. It enables developers to create, modify, and inspect game content within the editor's environment through natural language interactions.