io.github.DYZCODE/works-public
up checked
Unclaimed · Unverified
Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.
Publisher-provided title
WORKS Public Verifier
Publisher-provided description
Independent static verification for exact immutable public GitHub commits.
Summary by lookupd
Statically verifies exact immutable public GitHub commits against selected contracts, without executing the repository code.
Install
Claude Code, remote (streamable-http)
claude mcp add --transport http works-public https://works-runner.vercel.app/mcp-registry
Codex, remote (streamable-http)
codex mcp add works-public --url https://works-runner.vercel.app/mcp-registry
Cursor, remote (streamable-http) → .cursor/mcp.json
{
"mcpServers": {
"works-public": {
"url": "https://works-runner.vercel.app/mcp-registry"
}
}
}Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.
Tools (3 tools)
Publisher-provided text
works_public_eligibilityFast deterministic preflight for tool-only clients. Call this before any other WORKS tool when eligibility is uncertain, especially for mutable or abbreviated rworks_public_contract_lintAfter 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 theworks_verify_public_repositoryUse only after works_public_eligibility returns eligible. Download that immutable public GitHub snapshot, run the selected pinned static contract without execut
Details
- Version: 0.1.13
- Transports: streamable-http
- Uptime (7 days): 100%
- Median latency: 296 ms
- First indexed:
- Last seen in registry:
- Repository: https://github.com/DYZCODE/works-plugins
Badge for your README
Shows this live status and links here; updates hourly.
[](https://lookupd.com/servers/io.github.DYZCODE/works-public)
- 62092 servers
- Last crawl: 2026-11-11T17:17:22.074Z
- API base:
https://api.lookupd.com - MCP URL:
https://api.lookupd.com/mcp