cosmic-mcp

All servers

caveat-lang

io.github.WSattazahn/caveat-lang · version 1.4.1

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

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

https://github.com/WSattazahn/caveat-lang

Quick facts

  • Listing: Community
  • Published Oct 26, 23:36 UTC
  • Transport: stdio
  • Package: npm caveat-lang 1.4.1
  • Listed by cosmic-mcp: Nov 9, 04:25 UTC

Testing and QA

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (npm)

npx -y '[email protected]'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "caveat-lang": {
      "args": [
        "-y",
        "[email protected]"
      ],
      "command": "npx"
    }
  }
}

Claude Code

claude mcp add 'caveat-lang' -- npx -y '[email protected]'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "caveat-lang": {
      "args": [
        "-y",
        "[email protected]"
      ],
      "command": "npx"
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "caveat-lang": {
      "args": [
        "-y",
        "[email protected]"
      ],
      "command": "npx",
      "type": "stdio"
    }
  }
}

Related servers

  • Ask Your Audience Verified domain
    Test ideas, messages and ads with Human Digital Twins built from real people, in your AI assistant.
  • .NET MCP Server
    AI assistant access to .NET SDK for projects, packages, building, testing, and development tools.
  • 0s and 1s CIS calculators Verified domain
    Free UK CIS calculators: deductions, deadlines, late penalties, gross payment test, verification.
  • 369 Meter — pay-per-call APIs for agents (x402)
    Pay-per-call APIs for agents: text analysis, game facts, translation QA, hook scoring via x402.
  • 3D2HOLO Verified domain
    Lenticular printing toolkit for AI: pitch test charts, print quotes, and workflow guides.
  • 3TG Test Generation Verified domain
    3rd Generation Testing (3TG) — generate deterministic test suites from Markdown spec tables via MCP.