"CBS" matching MCP servers:

MCP 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.

Exposes codebase memory as native tools for AI agents, enabling queries, feature tracing, impact analysis, and alignment verification.

Answers 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.

Automates 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.

Enables AI assistants to search, understand, and generate code for design system components by syncing and indexing a component library.

MCP server for assisting in SAP ABAP CDS Views development on Eclipse ADT. Provides tools to generate, validate, and annotate CDS views, and suggest associations.