io.github.WSattazahn/caveat-lang

io.github.WSattazahn/caveat-lang

Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "caveat-lang@1.4.1"
      ]
    }
  }
}

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
1.4.1
Registry
active
Published
10/26/2026

More Developer Tools servers

Browse all Developer Tools →

FHIR MCP Server

wso2

MCP server providing seamless access to FHIR APIs for AI tools and healthcare applications

Developer ToolsAdded 1 week ago

Dispatch

wsoule

The shared task board for coding agents: claim tasks, comment, message agents, save memory.

Developer ToolsAdded 1 month ago

io.github.wspringer/math-svg-mcp

wspringer

Convert LaTeX math expressions to crisp, scalable SVG images

Developer ToolsAdded 9 months ago

Ableton Live MCP Server

wstierhout

Control Ableton Live with 156 typed tools for music production and offline .als analysis.

Developer ToolsAdded 1 month ago

EU e-invoicing and business checks (EN 16931, Peppol, VAT, sanctions)

wsystemdev

EN 16931/XRechnung e-invoice validate+create, Peppol routing, EU VAT/EORI, sanctions, KYB. Free tier

Developer ToolsAdded 2 weeks ago

ScreenSeal

wthall05

Sanctions screening for AI agents: check a name against OFAC and EU lists. Free during launch.

Developer ToolsAdded 1 month ago

Add the badge to your site

Show visitors that io.github.WSattazahn/caveat-lang is listed here — it’s also the link we check for a free listing.

io.github.WSattazahn/caveat-lang — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-wsattazahn-caveat-lang?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.WSattazahn/caveat-lang — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![io.github.WSattazahn/caveat-lang — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-wsattazahn-caveat-lang?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.