NestDaddy
All servers NestDaddy MCP Blog Sign inTry it free
Developer tools

Caveat Lang

io.github.WSattazahn/caveat-lang ยท v1.4.1

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

Source code Set it up

Connect Runs on your machine

Terminal
claude mcp add caveat-lang -- npx -y [email protected]
claude_desktop_config.json
{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ]
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ]
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "caveat-lang": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ]
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

Package[email protected] (NPM, stdio)
First published26 Oct 2026
Last updated26 Oct 2026
Registry nameio.github.WSattazahn/caveat-lang

More developer tools servers See all

  • AGILEX Docs

    Official AGILEX robotics product docs: manuals, CAN protocol, firmware, FAQ. Read-only.

  • Echoo public catalog

    Read-only Echoo product facts, pricing, documentation and published writing skills.

  • 99tests

    Order human-run real-device app tests from your coding agent; verified bugs return as fix prompts.

  • LimitReceipts by aiw3b

    Find the AI coding/app-builder plan that fits your usage: limits, prices and plan-fit picks.

  • Candor UI docs

    Candor UI docs and component suggestions. Read-only, no key, never serves paid source.

  • MoneyTools Tools

    Call for a cheap read-only utility: 100+ tools; free daily tier; not charged on failure

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.