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.
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.
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
process.env. You'll be asked to provide them before it can run.ANTHROPIC_API_KEYGEMINI_API_KEY— Google Gemini API key for hybrid conflict detectionGOOGLE_API_KEYOPENAI_API_KEYPORTSPECLOCK_API_KEY— API key for authenticated accessSPECLOCK_API_URLSPECLOCK_AUDIT_SECRETSPECLOCK_CLI_NO_AUTORUNSPECLOCK_CORS_ORIGINSSPECLOCK_ENCRYPTION_KEY— export ="your-secret"SPECLOCK_LICENSE_KEYSPECLOCK_LLM_KEY— Your own LLM API key (Gemini/OpenAI/Anthropic)SPECLOCK_LLM_PROVIDERSPECLOCK_NO_PROXY— false 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_STRICT— Default WARN mode — no more false-positive blocks. Loud warnings instead. Opt in to strict with --strict or =1.SPECLOCK_TELEMETRY— false Opt-in anonymous usage analyticsSPECLOCK_TELEMETRY_ENDPOINTSPECLOCK_VERBOSE[](https://m8ven.ai/mcp/sgroy10-speclock-uzstyv)