A
license-
qualityA
maintenanceMCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.
Apache 2.0
72,476 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
io.github.lazymac2x
io.github.pipeworx-io
ai.uxbert
io.github.pipeworx-io
"Payload CMS" matching MCP servers:
- Alicense-qualityBmaintenanceExposes codebase memory as native tools for AI agents, enabling queries, feature tracing, impact analysis, and alignment verification.3AGPL 3.0
- Alicense-qualityBmaintenanceFoldcase MCP server exposes three read-only tools over stdio that serve a coding agent the full catalog of Foldkit component Showcases — enumerating components and their states, describing Message payload schemas as JSON Schema documents, and documenting Model schemas — all derived from a single Showcase definition.1MIT
- Alicense-qualityBmaintenanceAnswers what CSS you can ship today using live Baseline and MDN browser-compat-data, with tools for searching features, checking exact browser support, and auditing stylesheets.MIT
- Flicense-qualityCmaintenanceProvides a specialized environment for developing InstantCMS 2 addons and templates by exposing hooks, class APIs, and code structures to AI assistants. It enables automated scaffolding, validation, and searching of system components to streamline the creation of functional CMS extensions.9
- AlicenseAqualityCmaintenanceProvides CodeQL language intelligence to AI agents via MCP, enabling completions, hover, definitions, references, diagnostics, formatting, and in-memory file updates for QL code.7MIT
- FlicenseAqualityBmaintenanceAn MCP server exposing AI-powered GitHub PR review as tools.5
- Alicense-qualityCmaintenanceMCP server that scans PyPI packages and GitHub repos for security vulnerabilities, dangerous patterns, and prompt injection vectors, providing trust scores (0-10) and side-by-side comparisons.MIT
- Alicense-qualityCmaintenanceAn MCP server for Windows process memory inspection/editing and crash dump analysis, enabling live memory scanning, patching, pointer resolution, disassembly, and offline dump examination via structured tool calls.MIT
- Flicense-qualityDmaintenanceAutomates Close-to-Shore methodology for Godot game development by creating tasks in Shrimp MCP from hop plans and generating interactive visualizations of signal architectures, dependencies, and project metrics.
- Flicense-qualityDmaintenanceEnables AI assistants to search, understand, and generate code for design system components by syncing and indexing a component library.
- Flicense-qualityBmaintenanceMCP server for assisting in SAP ABAP CDS Views development on Eclipse ADT. Provides tools to generate, validate, and annotate CDS views, and suggest associations.