MCP低风险未认领

caveat-lang

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

WSattazahnwsattazahn/caveat-lang★ 1更新于 2026年10月5日

server.json

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.WSattazahn/caveat-lang",
  "description": "Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.",
  "repository": {
    "url": "https://github.com/WSattazahn/caveat-lang",
    "source": "github"
  },
  "version": "0.1.0-rc.15",
  "packages": [
    {
      "registryType": "npm",
      "registryBaseUrl": "https://registry.npmjs.org",
      "identifier": "caveat-lang",
      "version": "0.1.0-rc.15",
      "runtimeHint": "npx",
      "transport": {
        "type": "stdio"
      },
      "packageArguments": [
        {
          "value": "mcp",
          "type": "positional"
        }
      ]
    }
  ]
}

权限

声明检测
运行代码—node
安装—npm:caveat-lang@0.1.0-rc.15
安装时运行脚本—无
网络无无
需要的凭据无无
工作区外的路径—无
智能体工具—无

检查

低风险 · 没有发现需要提醒的地方。

未经人工审核 · 已做规则检查；模型审核尚未开启。

版本

  1. #10.1.0-rc.15最新2026年10月7日