Install Caveat Lang in Claude Code
claude mcp add caveat-lang -- npx -y caveat-lang{
"mcpServers": {
"caveat-lang": {
"command": "npx",
"args": [
"-y",
"caveat-lang"
]
}
}
}Frequently asked questions
What does the Caveat Lang MCP server do?
Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.
Is the Caveat Lang MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does Caveat Lang run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Caveat Lang to Claude Code?
Run: claude mcp add caveat-lang -- npx -y caveat-lang
More security & identity MCP servers
View alldazai
New1Direction/ningen-shikkaku
Serve a secret to an agent exactly N times from locked RAM, then wipe it and self-destruct.
Aegis Security Skills
drupadsachania/aegis-skills
Read-only library of 24 defensive cybersecurity skills: ATT&CK, ATLAS, DFIR, CTEM and more.
Firefly Iii
YakupEmreYerli/mcp-firefly-iii
Security-first, self-hosted MCP server for Firefly III — 152 operations behind 5 scoped tools.
Privacyscrubber
moxno/privacyscrubber-mcp
Local, zero-trust masking of PII and secrets.
GuardianShield
sparkvibe-io/GuardianShield
AI security layer: code scanning, PII detection, prompt injection, secrets, CVEs
OSINT Toolbox
renkagod/osint-toolbox-mcp
Runs 12 OSINT tools locally (Sherlock, Maigret, Holehe, GHunt, SpiderFoot, subfinder...) plus built-in WHOIS, DNS, crt.sh and Wayback lookups. No API keys.