caveat-lang

MCP serverDev tools

Lets your agent validate, check and test Caveat programs, explain decisions and find dependents.

Unavailable. This server has no hosted endpoint yet, so ahel can't serve it.

Add to setup to save this item as a reference. ahel cannot run it, and signing in will not install it.

About this server

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

Getting started

  1. Save this item in Your setup as a reference.
  2. Read the source or reference documentation for its setup requirements. Saving it here does not connect it to your AI.
  3. Check this page for availability before trying to install it through ahel.

Signals

GitHub stars
1
Last commit
Oct 2026
Weekly downloads
2k
Advanced
Delivery
caveat-lang MCP server → your ahel connector (mcp.ahel.ai) → your AI.
Item type
mcp-server
Key
io-github-wsattazahn-caveat-lang
Source
github.com/wsattazahn/caveat-lang