Koskamo

WORKS Public Verifier MCP

An independent static verification tool that provides signed receipts for immutable public GitHub commits. It operates as a read-only plugin for coding agents like Codex and Claude Code, ensuring exact verification without storing telemetry or credentials.

Endpoint and access

No sign-in to connect and list tools. Individual tools may still need a vendor account, credentials, or permissions; check the documented prerequisites.

WORKS Public Verifier MCP logo, by DYZCODECommunity listingStreamable HTTPNo sign-inEndpoint checked 2026-11-06Published by DYZCODE
MCP endpoint (Streamable HTTP)
https://works-runner.vercel.app/mcp-registry
Vendor documentation

What its tools do

3 tools, grouped by the hints the server advertises. Hints are self-declared, not verified behavior.

3 of 3 have a description · 3 of 3 declare behavior hints · 1 of 3 with parameters document them all

Checks and signals

Each line is separate evidence, not a trust score.

  • Passed Endpoint answered the live check ·
  • Availability 1 of 1 checks passed in 30 days

What you can do with it

  • Verify immutable public GitHub commits via MCP
  • Generate signed static verification receipts
  • Integrate with Codex and Claude Code agents

Source and maintenance

Community listingRegistry 0.1.13
Maintenance checked

Protocol and capabilities

Server
works-public 0.1.7
MCP protocol negotiated in check
2025-11-25
Tools
3 advertised
Resources
Not advertised
Resource templates
Not advertised
Prompts
Not advertised
Server-advertised capabilities
{
  "tools": {
    "listChanged": true
  }
}

Server-provided instructions

Untrusted server output shown for inspection. It is not Koskamo guidance and is excluded from knowledge search.

Use works_public_eligibility as a fast deterministic preflight whenever public-repository, exact-commit, or static-claim eligibility is uncertain. Stop when it returns ineligible. Only works_verify_public_repository downloads a snapshot and returns a signed receipt. After verification, return its report field verbatim and stop.

Tools

3 advertised

works_public_eligibility — Check WORKS verification eligibility
Advertised by the server during the last successful anonymous check.
Advertised read-only

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.

works_public_eligibility input schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "source_kind",
    "repository_visibility",
    "claim"
  ],
  "properties": {
    "claim": {
      "enum": [
        "node-package",
        "env-safety",
        "static-evidence",
        "build",
        "tests",
        "runtime",
        "deployment",
        "production-readiness",
        "other"
      ],
      "type": "string",
      "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."
    },
    "reference": {
      "type": "string",
      "maxLength": 128,
      "description": "Reference exactly as supplied; never expand a branch, tag, or short SHA."
    },
    "source_kind": {
      "enum": [
        "public-github",
        "private-github",
        "local",
        "other"
      ],
      "type": "string",
      "description": "Classify where the requested source lives."
    },
    "repository_url": {
      "type": "string",
      "maxLength": 512,
      "description": "Exact repository URL supplied by the user, if any."
    },
    "repository_visibility": {
      "enum": [
        "public",
        "private",
        "unknown"
      ],
      "type": "string",
      "description": "Use public only when the request identifies a public repository."
    }
  }
}
works_public_eligibility output schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "eligible",
    "reason",
    "contract",
    "next_tool",
    "report"
  ],
  "properties": {
    "reason": {
      "enum": [
        "eligible",
        "public_github_required",
        "public_repository_required",
        "valid_repository_url_required",
        "exact_commit_required",
        "supported_static_claim_required"
      ],
      "type": "string"
    },
    "report": {
      "type": "string"
    },
    "contract": {
      "anyOf": [
        {
          "enum": [
            "node-package",
            "env-safety"
          ],
          "type": "string"
        },
        {
          "type": "null"
        }
      ]
    },
    "eligible": {
      "type": "boolean"
    },
    "next_tool": {
      "anyOf": [
        {
          "type": "string",
          "const": "works_verify_public_repository"
        },
        {
          "type": "null"
        }
      ]
    }
  },
  "additionalProperties": false
}
works_public_eligibility annotations
{
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}
works_public_contract_lint — Inspect public WORKS contract
Advertised by the server during the last successful anonymous check.
Advertised read-only

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.

works_public_contract_lint input schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "contract"
  ],
  "properties": {
    "contract": {
      "enum": [
        "node-package",
        "env-safety"
      ],
      "type": "string"
    }
  }
}
works_public_contract_lint output schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "valid",
    "id",
    "title",
    "description",
    "digest",
    "execution",
    "trust"
  ],
  "properties": {
    "id": {
      "type": "string"
    },
    "title": {
      "type": "string"
    },
    "trust": {
      "type": "string"
    },
    "valid": {
      "type": "boolean",
      "const": true
    },
    "digest": {
      "type": "string"
    },
    "execution": {
      "type": "string",
      "const": "none"
    },
    "description": {
      "type": "string"
    }
  },
  "additionalProperties": false
}
works_public_contract_lint annotations
{
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}
works_verify_public_repository — Verify immutable public repository
Advertised by the server during the last successful anonymous check.
Advertised read-onlyOpen-world

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.

works_verify_public_repository input schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "contract",
    "repository_url",
    "commit_sha"
  ],
  "properties": {
    "contract": {
      "enum": [
        "node-package",
        "env-safety"
      ],
      "type": "string"
    },
    "commit_sha": {
      "type": "string",
      "pattern": "^[0-9a-f]{40}$"
    },
    "repository_url": {
      "type": "string",
      "format": "uri",
      "maxLength": 512
    }
  }
}
works_verify_public_repository output schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "status",
    "contract",
    "source",
    "outcomes",
    "trust",
    "report",
    "receipt",
    "limitations"
  ],
  "properties": {
    "trust": {
      "type": "object",
      "required": [
        "key_id",
        "pinned_key_identity"
      ],
      "properties": {
        "key_id": {
          "type": "string"
        },
        "pinned_key_identity": {
          "type": "string",
          "const": "matched"
        }
      },
      "additionalProperties": false
    },
    "report": {
      "type": "string"
    },
    "source": {
      "type": "object",
      "required": [
        "kind",
        "repository",
        "commit"
      ],
      "properties": {
        "kind": {
          "type": "string",
          "const": "github-public"
        },
        "commit": {
          "type": "string",
          "pattern": "^[0-9a-f]{40}$"
        },
        "repository": {
          "type": "string"
        }
      },
      "additionalProperties": false
    },
    "status": {
      "enum": [
        "passed",
        "failed",
        "blocked",
        "error"
      ],
      "type": "string"
    },
    "receipt": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    },
    "contract": {
      "type": "object",
      "required": [
        "id",
        "digest",
        "trust"
      ],
      "properties": {
        "id": {
          "type": "string"
        },
        "trust": {
          "type": "string"
        },
        "digest": {
          "type": "string"
        }
      },
      "additionalProperties": false
    },
    "outcomes": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "id",
          "status"
        ],
        "properties": {
          "id": {
            "type": "string"
          },
          "status": {
            "enum": [
              "pass",
              "fail",
              "blocked"
            ],
            "type": "string"
          }
        },
        "additionalProperties": false
      }
    },
    "limitations": {
      "type": "array",
      "items": {
        "type": "string"
      }
    }
  },
  "additionalProperties": false
}
works_verify_public_repository annotations
{
  "readOnlyHint": true,
  "openWorldHint": true,
  "idempotentHint": true,
  "destructiveHint": false
}

Prompts

Not advertised

No prompt definitions available.

Resources

Not advertised

No resource definitions available.

90-day uptime

A lightweight connection check about every six hours, sampled on hosts with many listings. It shows the server answered, not that its tools work.

Too few checks for a percentage yet (1 of 1 answered).

  1. 2026-11-07: 1 of 1 checks answered

30-day availability

Aggregated from read-only remote checks; this is not a tool-execution or security guarantee.

Successful checks
1 of 1 (100%)
Average latency
546 ms
95th percentile latency
546 ms

Maintenance history

Public check and source-refresh events. Editorial and ownership records remain private.

  • · probe · passed · 546 ms · metadata changed · 3 tool(s)

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers the remote server. Use --scope project to write .mcp.json for the repo.
Claude Code configuration
claude mcp add --transport http works-public-verifier-mcp https://works-runner.vercel.app/mcp-registry

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).
Codex configuration
codex mcp add works-public-verifier-mcp --url https://works-runner.vercel.app/mcp-registry

Cursor

Merge this server into .cursor/mcp.json in your project, then enable works-public-verifier-mcp in your MCP settings.
Cursor configuration
{
  "mcpServers": {
    "works-public-verifier-mcp": {
      "url": "https://works-runner.vercel.app/mcp-registry"
    }
  }
}

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure).
Cline configuration
{
  "mcpServers": {
    "works-public-verifier-mcp": {
      "type": "streamableHttp",
      "url": "https://works-runner.vercel.app/mcp-registry",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start works-public-verifier-mcp and inspect its tools.
VS Code configuration
{
  "servers": {
    "works-public-verifier-mcp": {
      "type": "http",
      "url": "https://works-runner.vercel.app/mcp-registry"
    }
  }
}

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.
Gemini CLI configuration
gemini mcp add --transport http works-public-verifier-mcp https://works-runner.vercel.app/mcp-registry

Claude Desktop

Open Claude Settings > Connectors > Add custom connector, enter this server URL and enable it for the conversation. This is a manual remote-connector handoff, not a desktop JSON configuration.
Claude Desktop configuration
https://works-runner.vercel.app/mcp-registry

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.
Windsurf configuration
{
  "mcpServers": {
    "works-public-verifier-mcp": {
      "serverUrl": "https://works-runner.vercel.app/mcp-registry"
    }
  }
}

Let your agent find its tools

Find servers like WORKS Public Verifier MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.