caveat-lang

Description

A decision ledger for agents. Caveat is an embeddable decision runtime with a small rules language: values carry their evidence and caveats, and decisions keep the grounds they were made on, so withdrawing evidence later still leaves a past decision's original basis on record. This server is Caveat's authoring bridge, from the published caveat-lang 0.1.0-rc.19 npm package (a release candidate). It works on inline source and supplied events only, and reads or writes no files. - caveat_validate: validate a program - caveat_check: authoring diagnostics - caveat_test: run scenarios against a program - caveat_explain: show what each decision rests on - caveat_dependents: find what depends on a piece of evidence, a reading stream or a caveat

Community Metrics

Categories

• mcp

Tags

• mcp
• smithery

Capabilities

• local

Information