MCP servers
caveat-lang
Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
caveat-lang · npm 1.4.1 · stdio
claude mcp add --transport stdio caveat-lang -- npx -y caveat-lang@1.4.1Server details
- Registry name
- io.github.WSattazahn/caveat-lang
- Version
- 1.4.1
- Registry status
