SpecLock - AI Constraint Engine (sgroy10/speclock) is an MCP server listed on the M8ven Trust Index. M8ven has not graded it: there is no public source to read and no endpoint we can reach, so there is nothing for us to inspect. No publisher has claimed this listing.
AI Constraint Engine with AI Patch Firewall. 42 MCP tools. Patch Gateway (ALLOW/WARN/BLOCK verdicts), diff-native review (10 scored signals, hard escalation rules), Spec Compiler, Code Graph, Typed constraints, Python SDK, ROS2. Works with Claude Code, Cursor, Windsurf, Cline, Bolt.new, Lovable. 1073 tests. Free and open source. By Sandeep Roy.
Emerging. No concerning findings. Grades remain capped until the project builds reputation through adoption. Grades reflect the full trust pyramid: code, verification depth, and reputation. New projects cap at C until adoption is earned.
How we verified
Verified is a snapshot. Live keeps it current, and builds your track record.
⚡ Connect GitHub → continuous verification on every pushwhy connect →Who stands behind it
sgroy10
Source: Smithery · also listed on Glama
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find. Or connect your repo for our deepest verification, Live Monitored: read-only, revoke anytime. What we access →
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
Disclosed vulnerabilities in this server's declared npm dependencies (via OSV). Whether each is reachable depends on the installed versions.
esbuild: Missing binary integrity verification in Deno module enables remote code execution via NPM_CONFIG_REGISTRY
esbuild allows arbitrary file read when running the development server on Windows
ANTHROPIC_API_KEYGEMINI_API_KEYGoogle Gemini API key for hybrid conflict detectionGOOGLE_API_KEYOPENAI_API_KEYSPECLOCK_API_KEYAPI key for authenticated accessSPECLOCK_API_URLSPECLOCK_AUDIT_SECRETSPECLOCK_CLI_NO_AUTORUNSPECLOCK_CORS_ORIGINSSPECLOCK_ENCRYPTION_KEYexport ="your-secret"SPECLOCK_LICENSE_KEYSPECLOCK_LLM_KEYYour own LLM API key (Gemini/OpenAI/Anthropic)SPECLOCK_LLM_PROVIDERSPECLOCK_NO_PROXYfalse Set true for heuristic-only mode (~250ms). Skips the Gemini proxy (~2s)SPECLOCK_PROJECT_ROOTSPECLOCK_PROXY_URLSPECLOCK_PUBLIC_URLSPECLOCK_RATE_LIMITSPECLOCK_SAVES_DIRSPECLOCK_SSO_CLIENT_IDSPECLOCK_SSO_CLIENT_SECRETSPECLOCK_SSO_ISSUERSPECLOCK_SSO_REDIRECT_URISPECLOCK_STRICTDefault WARN mode — no more false-positive blocks. Loud warnings instead. Opt in to strict with --strict or =1.SPECLOCK_TELEMETRYfalse Opt-in anonymous usage analyticsSPECLOCK_TELEMETRY_ENDPOINTSPECLOCK_VERBOSEPORTTool annotations
No tools have read-only/destructive annotations
Add readOnlyHint or destructiveHint annotations to every tool so hosts can warn users before invoking.
All four hints declared on every tool
83/83 tools missing one or more hints — speclock_init (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); speclock_get_context (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); speclock_set_goal (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint), +80 more. OpenAI's directory rejects tools where any of the four hints are missing or non-boolean.
For every tool, set all four hints (readOnlyHint, destructiveHint, idempotentHint, openWorldHint) to explicit true/false values that match the handler’s actual behaviour.
Tool inputs are validated
44/83 tool handlers declare input schemas (53%)
Declare an inputSchema with zod/joi/yup on every tool definition.
Tool handlers catch errors
Only 6/83 tool handlers wrap calls in try/catch (7%)
Wrap each tool handler body in try/catch and return a structured error response.
Tool test coverage
Only 14/83 tools referenced in tests (17%)
Write tests that reference each tool by name so every tool has at least one test.
Shell command execution
6 child_process calls — runs shell commands
Prefer library functions over shell-outs. If you must shell out, ensure all inputs are properly escaped.
Dev dependencies
1 critical/high in dev-only deps (does not ship to users)
Upgrade dev dependencies when convenient.
Claim the listing to review these findings one by one and send us a correction where you disagree, straight to the team. Claiming also means we tell you when the grade moves, and reach you first if we find anything urgent.
[](https://m8ven.ai/mcp/sgroy10-speclock-uzstyv)?variant=verified to the badge URL.Vetting this one by hand? Tool Check is an MCP that scores other MCPs. Add it once and ask Claude, ChatGPT, or any MCP client to grade a server, surface CVEs, check the publisher, and suggest safer alternatives — before you install.
https://m8ven.ai/api/mcp/tool-check