LocalFree

Caveat Lang MCP server

WSattazahn/caveat-lang

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

3 GitHub stars6,560 npm downloads / month

Install Caveat Lang in Claude Code

Claude Code
claude mcp add caveat-lang -- npx -y caveat-lang
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "caveat-lang"
      ]
    }
  }
}

Frequently asked questions

What does the Caveat Lang MCP server do?

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

Is the Caveat Lang MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Caveat Lang run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Caveat Lang to Claude Code?

Run: claude mcp add caveat-lang -- npx -y caveat-lang

More security & identity MCP servers

View all