Skip to content
mcp/harbor
Verified official

caveat lang MCP

v0.1.0-rc.15 changelog · 1

io.github.wsattazahn/caveat-lang

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

transport:stdio runtime:npm
View source

Target client

run in your project directory 

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

setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok LangChain

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.