MCP server
Caveat Lang
io.github.WSattazahn/caveat-lang
Checked 25 Oct 2026, 21:11 UTC · Still published on its registry; checked against OSV.dev; never run by us
Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.
Runs on your computer
At a glance
- Type
- MCP server
- Publisher
- Not verified
- Status
- Runs on your computer
- Sets up in
- Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
- Last checked
- 25 Oct 2026, 21:11 UTC
Connect it to your agent
Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.
Claude Code
claude mcp add caveat-lang -- npx -y caveat-lang@1.3.0
Claude Desktop
{"mcpServers":{"caveat-lang":{"command":"npx","args":["-y","caveat-lang@1.3.0"]}}}
Codex (config.toml)
[mcp_servers.caveat-lang] command = "npx" args = ["-y","caveat-lang@1.3.0"]
Gemini CLI
{"mcpServers":{"caveat-lang":{"command":"npx","args":["-y","caveat-lang@1.3.0"]}}}
Cursor
{"mcpServers":{"caveat-lang":{"command":"npx","args":["-y","caveat-lang@1.3.0"]}}}
VS Code
{"servers":{"caveat-lang":{"type":"stdio","command":"npx","args":["-y","caveat-lang@1.3.0"]}}}
Runs on your computer with your permissions: check the package and its source before installing.
Browse
Related MCP servers
- AINumbers Fintech Intelligence Suite
752 MCP tools across 1218 fintech tools: ChainGraph AP2 decisions, execution_hash. Zero PII. - Rhylthyme
Real-time multi-track schedules for cooking, lab protocols, events and workouts. Validate and share. - Robotbase Content
Agent MCP: 35 tools — social hot lists, attention trends, 80k+ books, 17 web tools. - aeX402 — Cross-Chain DeFi MCP: LINQ, AMM, Bridge, AI
Agent MCP for DeFi: cross-chain LINQ fan-out, AMM quotes/swaps, bridge, AI. Solana+EVM. Free+x402. - osc-bridge
OSC ↔ MIDI bridge — 986 synthesizers and DAWs. A MIDI MCP and OSC MCP for controlling them. - Vellium & Co Testing Lab
Independent checks of paid x402 data sellers and of AI-agent access to shopping and travel sites - Calaf Seed Tools
Author and validate Calaf workspace seeds against the app's real importer. No account needed. - Micro Mu
News, web search, mail, markets, weather, places, files, calendar, contacts. 67 tools, one endpoint.
Badge for your README
[](https://aptlynx.net/servers/io.github.WSattazahn/caveat-lang)
Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents