WORKS Public Verifier
What this MCP does
Checks eligibility and performs static verification of exact immutable public GitHub repository commits.
Tools
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['contract'], 'properties': {'contract': {'enum': ['node-package', 'env-safety'], 'type': 'string'}}}
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}
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.'}}}
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}
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}}}
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}
Recent tool changes
Similar MCP servers
TinyFn
Offers deterministic utility functions for mathematics, conversions, validation, hashing, encoding, arrays, dates, colors, and pa…
hyperion
Acts as a paid MCP tool marketplace and utility gateway with server discovery, HTTP and JavaScript tools, research, data conversi…
Andreax
Offers pay-per-call AI services for inference, agent and workflow design, OCR and transcription, code generation and review, clas…
Vee3
Manages Clerk authentication infrastructure, including users, organizations, domains, sessions, tokens, OAuth, SSO, machines, per…
Courier
Provides notification delivery infrastructure for users, tenants, lists, templates, preferences, journeys, automations, brands, a…
GripForge
Generates, rigs, animates, analyzes, and packages game characters, weapons, armor, effects, environments, and engine-ready assets.
IA-QA — 130+ QA & Dev Tools for AI Agents
Provides deterministic QA, evaluation, testing, code analysis, prompt and RAG checks, model comparison, and web security diagnost…
apis-io
Provides catalog search, comparison, scoring, enrichment, lists, and dataset exports for APIs, providers, specifications, workflo…