WORKS Public Verifier

Independent static verification for exact immutable public GitHub commits.

사용해야 할까요

품질 및 안전성

A
설명 품질
100%
스키마 완전성
87%
이름 품질
80%
오염 위험
100%
권한 일치
100%
프로토콜 준수
100%

도구 정의와 프로토콜 준수에 대한 자동 분석을 기반으로 합니다.

컨텍스트 비용

~1,181토큰 (도구 정의)
~3.8 KB일반적인 응답 크기
중간 정도의 주의 영향 (128k 컨텍스트의 0.92%)

이는 서버의 도구가 모델의 컨텍스트에 로드될 때마다 소비되는 대략적인 토큰 수입니다. 수치가 높을수록 다른 작업에 사용할 수 있는 주의가 줄어듭니다.

설치

원클릭 설치

`claude_desktop_config.json` 파일에 다음을 추가하세요:

{
  "mcpServers": {
    "works-public": {
      "url": "https://works-runner.vercel.app/mcp-registry"
    }
  }
}

원격 엔드포인트

https://works-runner.vercel.app/mcp-registrystreamable-http

할 수 있는 일

도구 목록

도구 (3)

🟢 읽기 전용🟡 쓰기🔴 삭제⚪ 알 수 없음
🟢works_public_eligibility(source_kind, repository_url, repository_visibility, reference, claim)

Fast deterministic preflight for tool-only clients. Call this before any other WORKS tool when eligibility is uncertain, especially for mutable or abbreviated refs, local or private repositories, and build, test, runtime, deployment, or production claims. It does not download a repository or persist data. If eligible is false, stop without calling verification.

입력 스키마

{
  "type": "object",
  "properties": {
    "source_kind": {
      "type": "string",
      "enum": [
        "public-github",
        "private-github",
        "local",
        "other"
      ],
      "description": "Classify where the requested source lives."
    },
    "repository_url": {
      "description": "Exact repository URL supplied by the user, if any.",
      "type": "string",
      "maxLength": 512
    },
    "repository_visibility": {
      "type": "string",
      "enum": [
        "public",
        "private",
        "unknown"
      ],
      "description": "Use public only when the request identifies a public repository."
    },
    "reference": {
      "description": "Reference exactly as supplied; never expand a branch, tag, or short SHA.",
      "type": "string",
      "maxLength": 128
    },
    "claim": {
      "type": "string",
      "enum": [
        "node-package",
        "env-safety",
        "static-evidence",
        "build",
        "tests",
        "runtime",
        "deployment",
        "production-readiness",
        "other"
      ],
      "description": "Use static-evidence for generic signed or static repository evidence; it maps conservatively to node-package. Never use it for build, tests, runtime, deployment, or production claims."
    }
  },
  "required": [
    "source_kind",
    "repository_visibility",
    "claim"
  ],
  "$schema": "http://json-schema.org/draft-07/schema#"
}

출력 스키마

{
  "type": "object",
  "properties": {
    "eligible": {
      "type": "boolean"
    },
    "reason": {
      "type": "string",
      "enum": [
        "eligible",
        "public_github_required",
        "public_repository_required",
        "valid_repository_url_required",
        "exact_commit_required",
        "supported_static_claim_required"
      ]
    },
    "contract": {
      "anyOf": [
        {
          "type": "string",
          "enum": [
            "node-package",
            "env-safety"
          ]
        },
        {
          "type": "null"
        }
      ]
    },
    "next_tool": {
      "anyOf": [
        {
          "type": "string",
          "const": "works_verify_public_repository"
        },
        {
          "type": "null"
        }
      ]
    },
    "report": {
      "type": "string"
    }
  },
  "required": [
    "eligible",
    "reason",
    "contract",
    "next_tool",
    "report"
  ],
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false
}
🟢works_public_contract_lint(contract)

After a task is already known to have a public GitHub repository, an exact lowercase 40-character commit SHA, and a matching supported static claim, return the pinned contract digest and scope. Do not call for mutable or abbreviated refs, local or private repositories, runtime, builds, tests, deployments, or broad production-readiness claims.

입력 스키마

{
  "type": "object",
  "properties": {
    "contract": {
      "type": "string",
      "enum": [
        "node-package",
        "env-safety"
      ]
    }
  },
  "required": [
    "contract"
  ],
  "$schema": "http://json-schema.org/draft-07/schema#"
}

출력 스키마

{
  "type": "object",
  "properties": {
    "valid": {
      "type": "boolean",
      "const": true
    },
    "id": {
      "type": "string"
    },
    "title": {
      "type": "string"
    },
    "description": {
      "type": "string"
    },
    "digest": {
      "type": "string"
    },
    "execution": {
      "type": "string",
      "const": "none"
    },
    "trust": {
      "type": "string"
    }
  },
  "required": [
    "valid",
    "id",
    "title",
    "description",
    "digest",
    "execution",
    "trust"
  ],
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false
}
🟢works_verify_public_repository(contract, repository_url, commit_sha)

Use only after works_public_eligibility returns eligible. Download that immutable public GitHub snapshot, run the selected pinned static contract without executing repository commands, and return a signed receipt. Return the report field verbatim and stop.

입력 스키마

{
  "type": "object",
  "properties": {
    "contract": {
      "type": "string",
      "enum": [
        "node-package",
        "env-safety"
      ]
    },
    "repository_url": {
      "type": "string",
      "maxLength": 512,
      "format": "uri"
    },
    "commit_sha": {
      "type": "string",
      "pattern": "^[0-9a-f]{40}$"
    }
  },
  "required": [
    "contract",
    "repository_url",
    "commit_sha"
  ],
  "$schema": "http://json-schema.org/draft-07/schema#"
}

출력 스키마

{
  "type": "object",
  "properties": {
    "status": {
      "type": "string",
      "enum": [
        "passed",
        "failed",
        "blocked",
        "error"
      ]
    },
    "contract": {
      "type": "object",
      "properties": {
        "id": {
          "type": "string"
        },
        "digest": {
          "type": "string"
        },
        "trust": {
          "type": "string"
        }
      },
      "required": [
        "id",
        "digest",
        "trust"
      ],
      "additionalProperties": false
    },
    "source": {
      "type": "object",
      "properties": {
        "kind": {
          "type": "string",
          "const": "github-public"
        },
        "repository": {
          "type": "string"
        },
        "commit": {
          "type": "string",
          "pattern": "^[0-9a-f]{40}$"
        }
      },
      "required": [
        "kind",
        "repository",
        "commit"
      ],
      "additionalProperties": false
    },
    "outcomes": {
      "type": "array",
      "items": {
        "type": "object",
        "properties": {
          "id": {
            "type": "string"
          },
          "status": {
            "type": "string",
            "enum": [
              "pass",
              "fail",
              "blocked"
            ]
          }
        },
        "required": [
          "id",
          "status"
        ],
        "additionalProperties": false
      }
    },
    "trust": {
      "type": "object",
      "properties": {
        "key_id": {
          "type": "string"
        },
        "pinned_key_identity": {
          "type": "string",
          "const": "matched"
        }
      },
      "required": [
        "key_id",
        "pinned_key_identity"
      ],
      "additionalProperties": false
    },
    "report": {
      "type": "string"
    },
    "receipt": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    },
    "limitations": {
      "type": "array",
      "items": {
        "type": "string"
      }
    }
  },
  "required": [
    "status",
    "contract",
    "source",
    "outcomes",
    "trust",
    "report",
    "receipt",
    "limitations"
  ],
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false
}

커뮤니티

이 서버 평가하기

증거

최근 관측

검증됨버전이 기록되지 않음도구 3개
검증됨버전이 기록되지 않음도구 3개
검증됨버전이 기록되지 않음도구 3개