Community
io.github.WSattazahn/caveat-lang
io.github.WSattazahn/caveat-lang
Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.
Install
Add the config to your client settings. Replace values in <angle brackets> with your own.
claude_desktop_config.json
{
"mcpServers": {
"caveat-lang": {
"command": "npx",
"args": [
"-y",
"caveat-lang@0.1.0-rc.20"
]
}
}
}Details
- Name
- io.github.WSattazahn/caveat-lang
- Version
- 0.1.0-rc.20
- Updated
- Oct 16, 2026
- Source
- Official MCP Registry