mcp server
WORKS Public Verifier
Independent static verification for exact immutable public GitHub commits.
Description as published by the maintainer. Source
- version 0.1.13
- active
active — Most recent push to the repository was 2026-07-27.
What this server can do
3 functions, named and described by the server itself. Parameter names are shown because they say more about what a function does than its name usually does.
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. Required: contract.
works_public_eligibility(claim, reference, source_kind, repository_url, repository_visibility)- 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. Required: source_kind, repository_visibility, claim.
works_verify_public_repository(contract, commit_sha, repository_url)- 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. Required: contract, repository_url, commit_sha.
Last successful function declaration observed on . Source: https://works-runner.vercel.app/mcp-registry. We list what the server declared; we do not call any of these functions.
Endpoint status observed on . Source: https://works-runner.vercel.app/mcp-registry.
Signals
These are separate measurements of different things. They are deliberately not combined into one score, because a popularity number that mixes website traffic with saves and stars cannot be checked or acted on.
| Signal | Value | What it measures | Window | Observed | Source |
|---|---|---|---|---|---|
| GitHub stars | 0 | Number of GitHub accounts that bookmarked this repository since it was created. It is a bookmark count, not installs, not active users and not quality. | cumulative, all time | GitHub | |
| Last commit | 2026-07-27 | Date of the most recent push to any branch. This is the strongest cheap indicator of whether the project is still maintained. | point in time | GitHub | |
| Open issues | 0 | Open issues plus open pull requests, as GitHub counts them together. A high number can mean an active project or an abandoned one. | as of fetch | GitHub | |
| Latest published version | 0.1.13 | Latest version string the maintainer published to the registry. | as of fetch | Model Context Protocol | |
| Registry record last updated | 2026-07-27 | When the registry record was last updated by its maintainer. | point in time | Model Context Protocol | |
| License | MIT | Licence GitHub detected in the repository. Detection can be wrong; the LICENSE file is authoritative. | as of fetch | GitHub | |
| First listed in the MCP Registry | 2026-07-27 | Date this server was first published to the official MCP Registry. Not a usage or quality measure. | point in time | Model Context Protocol | |
| repository status | active | The repository exists on GitHub and is not archived. This says nothing about how recently it was worked on. | as of fetch | GitHub | |
| mcp tools declared | 3 tools | Number of functions the server itself declared when asked to list them. This is what the server offers an agent, not a measure of how well any of them work. | as of probe | works-runner.vercel.app | |
| mcp endpoint status | ok | The server listed 3 functions when asked. | as of probe | works-runner.vercel.app |
Where to get it
Related, by what their authors tagged them
-
com.scopeblind/protect-mcp
— last commit 2026-07-09, shares signed-receipts
Fail-closed Cedar policy gate + Ed25519 signed receipts for agent tool calls. Denies on any error.
-
io.github.dimitrilaouanis-tech/onyx-mcp
— last commit 2026-07-31, shares signed-receipts
Ed25519-signed ground-truth oracle — 63 paid x402 tools live on Base mainnet.
-
Umbra
— last commit 2026-08-05, shares static-analysis, verification
Trust score for AI-generated code: scan repos, guard agent file writes, get a 0-100 score.
-
com.babyblueviper/invinoveritas
— last commit 2026-08-05, shares verification
AI-agent verifier: verdict committed before the outcome graded against it; /review, /ledger.
-
DOS — the trust substrate for agent fleets
— last commit 2026-07-17, shares verification
Verify what agents actually shipped, arbitrate file collisions, refuse with structured reasons.
-
AgentTrust
— last commit 2026-04-27, shares verification
Quality verification for AI agents and MCP servers. 6-axis scoring, adversarial probes.
-
io.github.cdeust/ai-architect-mcp-spec
— last commit 2026-08-04, shares verification
PRD verification and host-driven generation with multi-judge consensus across 17 MCP tools.
-
io.github.cdeust/prd-spec-generator
— last commit 2026-08-04, shares verification
Turns a feature description into a verified 9-file PRD — multi-judge consensus, 17 MCP tools.
-
io.github.CSOAI-ORG/meok-attestation-verify
— last commit 2026-06-26, shares verification
Tiny zero-dependency verifier for MEOK AI Labs compliance attestations (DORA, NIS2, CRA, EU AI Act,
-
verify-proof
— last commit 2026-07-19, shares verification
Verify blockchain-anchored timestamp proofs offline. No network calls, account, or API key.
These share tags the maintainers applied themselves, such as signed-receipts, static-analysis, verification. Common tags like "mcp" or "ai" are ignored for this: agreeing with six hundred other projects is not a similarity.
This is not a recommendation and not a test result. It is a map of what the authors said their work is about.
How the author describes it
Topics the maintainer set on GitHub: claude-code, codex, coding-agents, developer-tools, github, mcp, signed-receipts, static-analysis, verification.
This record as data
Every field on this page, with its source and observation date, is in the catalog JSON. Fetch the whole kind at once instead of parsing this HTML.
GET /api/v1/entries/mcp_server.json