Skip to content
Agentmart
Submit a tool

Caveat Lang

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

Connector by WSattazahn · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)★ 3
Write a review

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/wsattazahn-caveat-lang

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its install config and code. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found
Runs as
Node.js package

Network hosts it talks to 33

  • api.github.com · found in code
  • api.nuget.org · found in code
  • azuresearch-usnc.nuget.org · found in code
  • caveat-mcp.waltersattazahn.workers.dev · found in code
  • data.iana.org · found in code
  • dynadot.com · found in code
  • easydns.rdap.tucows.com · found in code
  • edn.com · found in code
  • excelautomationrunner.codeplex.com · found in code
  • fontpkg.org · found in code
  • formulae.brew.sh · found in code
  • github.com · found in code
  • glama.ai · found in code
  • iana.org · found in code
  • icann.org · found in code
  • packagist.org · found in code
  • pubapi.registry.google · found in code
  • raw.githubusercontent.com · found in code
  • rdap.cloudflare.com · found in code
  • rdap.godaddy.com · found in code
  • rdap.identitydigital.services · found in code
  • rdap.publicinterestregistry.org · found in code
  • rdap.spaceship.com · found in code
  • rdap.verisign.com · found in code
  • rubygems.org · found in code
  • search.maven.org · found in code
  • slsa.dev · found in code
  • tinyurl.com · found in code
  • tsdr.uspto.gov · found in code
  • tsdrapi.uspto.gov · found in code
Show 3 more hosts
  • ttabvue.uspto.gov · found in code
  • uploads.github.com · found in code
  • wsattazahn.github.io · found in code

Files it touches

  • /home/claude/glowcap-r7
  • /home/claude/glowcap-r7/authors
  • /home/claude/glowcap-r7/authors/C1/impl/adapter.mjs
  • /home/claude/glowcap-r7/authors/C2/impl/adapter.mjs
  • /home/claude/glowcap-r7/authors/C3/impl/adapter.mjs
  • /home/claude/glowcap-r7/authors/C4/impl/adapter.mjs
  • /home/claude/glowcap-r7/authors/T1/impl/glowcap.ts
  • /home/claude/glowcap-r7/authors/T3/impl/glowcap.ts
  • /home/claude/glowcap-r7/reviewer
  • /home/claude/glowcap-r7/writer
  • /home/claude/glowcap-r8
  • /home/claude/glowcap-r8/authors/C1
  • /home/claude/glowcap-r8/authors/C1/impl/adapter.mjs
  • /home/claude/glowcap-r8/authors/C2
  • /home/claude/glowcap-r8/authors/C2/impl/adapter.mjs
  • /home/claude/glowcap-r8/authors/C3
  • /home/claude/glowcap-r8/authors/C3/impl/adapter.mjs
  • /home/claude/glowcap-r8/authors/T1
  • /home/claude/glowcap-r8/authors/T1/impl/glowcap.ts
  • /home/claude/glowcap-r8/authors/T2
  • /home/claude/glowcap-r8/authors/T3
  • /home/claude/glowcap-r8/authors/T3/impl/glowcap.ts
  • /home/claude/glowcap-r8/drift
  • /home/claude/glowcap-r8/mutator
  • /home/claude/glowcap-r8/reviewer
  • /home/claude/glowcap-r8/writer
  • /home/runner/work/caveat-lang/caveat-lang/test-results/security-tools/advisory-db
  • /home/runner/work/caveat-lang/caveat-lang/test-results/security-tools/bin/cargo-audit
  • /opt/hostedtoolcache/node/22.23.3/x64/bin/node
  • /root/author_a1
  • /root/author_a2
  • /root/author_b1
  • /root/author_b2
  • /root/author_c1
  • /root/author_c2
  • /root/clock_author_a1
  • /root/clock_author_a2
  • /root/clock_author_b1
  • /root/clock_author_b2
  • /tmp/caveat-rc7-record-lRchUV/cache

Signals

Stars
3
Forks
0
Open issues
0
Last commit
Oct 21, 2026 (9 days ago)
Last release
Oct 21, 2026 (9 days ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name
io.github.WSattazahn/caveat-lang
Version
1.2.0
Auth
No auth
Packages
npm caveat-lang
License
MIT
Repository
github.com/WSattazahn/caveat-lang
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql
Cite this page

Caveat Lang MCP server. Agent Mart. https://agentmart.dev/connectors/wsattazahn-caveat-lang (last updated 2026-10-24)