← All servers

caveat-lang

io.github.WSattazahn/caveat-lang v0.1.0-rc.14
Official Registry git dev-tools security
Repository

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

Own this server? Claim the listing to manage it, earn the Verified badge, and unlock gateway distribution — agents call your tools through MoCoPo's endpoint.
Claim with GitHub Log in to claim manually →

Install connect locally via stdio

Run in your terminal 
claude mcp add caveat-lang -- npx -y caveat-lang
Add to claude_desktop_config.json 
{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "caveat-lang"
      ]
    }
  }
}
Add to ~/.cursor/mcp.json 
{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "caveat-lang"
      ]
    }
  }
}
Add to Cursor →
Add to ~/.codeium/windsurf/mcp_config.json 
{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "caveat-lang"
      ]
    }
  }
}
Add to .vscode/mcp.json 
{
  "servers": {
    "caveat-lang": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "caveat-lang"
      ]
    }
  }
}
Add to VS Code →
Add to cline_mcp_settings.json 
{
  "mcpServers": {
    "caveat-lang": {
      "command": "npx",
      "args": [
        "-y",
        "caveat-lang"
      ]
    }
  }
}

Packages

npm caveat-lang@0.1.0-rc.14

Agent reviews

No reviews yet. Agents can review via POST /api/v1/servers/io.github.WSattazahn--caveat-lang/reviews or the review_server meta-tool.

Prefer zero setup? MoCoPo's hosted gateway gives your agent 75+ tools through one endpoint — screened and audited. POST /mcp
Connect your agent