SpecLock - AI Constraint Engine
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.
How to connect
Same URL, five paste targets. Ready surface · Auth required. Not a safe-to-install badge. Handshake this URL
Paste into Settings → MCP or .cursor/mcp.json.
{
"mcpServers": {
"sgroy10-speclock": {
"url": "https://speclock--sgroy10.run.tools"
}
}
}
Settings → Connectors → Add → Custom → Web. Paste the URL. Enable in a new chat.
Claude → Settings → Connectors → Add → Custom → Web
Name: SpecLock - AI Constraint Engine
URL: https://speclock--sgroy10.run.tools
OAuth only if this server requires it.
Save, start a new chat, enable the connector.
Developer mode custom connector. ChatGPT cannot reach localhost.
Settings → Apps & Connectors → Advanced → Developer mode ON
Create custom connector
Name: SpecLock - AI Constraint Engine
MCP server URL: https://speclock--sgroy10.run.tools
Auth: none unless the server requires OAuth
New chat → + → Developer mode → enable the connector
Register the HTTPS URL, then claude mcp list.
claude mcp add --transport http sgroy10-speclock \
https://speclock--sgroy10.run.tools
Pass on session/new as mcpServers when the agent advertised HTTP MCP.
[
{
"type": "http",
"name": "sgroy10-speclock",
"url": "https://speclock--sgroy10.run.tools"
}
]
Paste into a README or docs site. The widget loads snippets from Influzer — still not a SAFE badge.
Same handshake clock as this listing (overlay / warm / seed; live tools/list only if that is missing). Indigo is live_ok, amber is auth_required, gray is unreachable. Not a SAFE badge. Stdio listings have no badge.
[](https://www.influzer.ai/mcp/probe?url=https%3A%2F%2Fspeclock--sgroy10.run.tools)
<div data-influzer-install="sgroy10-speclock"></div>
<script async src="https://www.influzer.ai/embed/install.js"></script>
https://www.influzer.ai/embed/mcp/sgroy10-speclock.md
JSON: https://www.influzer.ai/api/v1/install/sgroy10-speclock
Listing quality
Observable facts from our catalog and daily probe — not a safe-to-install badge.
- Surface
- Ready surface
- Live handshake
- Auth required
- Auth gate
- Auth gate
- Tools source
- tools/list (live)
Observable catalog + probe facts — not a safe-to-install badge.
Tools
(44)-
speclock_initInitialize SpecLock in the current project directory.
-
speclock_get_contextTHE KEY TOOL. Returns the full structured context pack.
-
speclock_set_goalSet or update the project goal.
-
speclock_add_lockAdd a non-negotiable constraint (SpecLock).
-
speclock_remove_lockRemove (deactivate) a SpecLock by its ID.
-
speclock_add_decisionRecord an architectural or design decision.
-
speclock_add_noteAdd a pinned note for reference.
-
speclock_set_deploy_factsRecord deployment configuration facts.
-
speclock_log_changeManually log a significant change.
-
speclock_get_changesGet recent file changes tracked by SpecLock.
-
speclock_get_eventsGet the event log, optionally filtered by type.
-
speclock_check_conflictCheck if a proposed action conflicts with any active SpecLock. In hard mode, blocks above threshold.
-
speclock_session_briefingStart a new session and get a full briefing.
-
speclock_session_summaryEnd the current session and record what was accomplished.
-
speclock_checkpointCreate a named git tag checkpoint for easy rollback.
-
speclock_repo_statusGet current git repository status.
-
speclock_suggest_locksAI-powered lock suggestions based on project patterns.
-
speclock_detect_driftScan recent changes for constraint violations.
-
speclock_healthHealth check with completeness score and multi-agent timeline.
-
speclock_apply_templateApply a pre-built constraint template (nextjs, react, express, supabase, stripe, security-hardened).
-
speclock_reportViolation report — how many times SpecLock blocked changes.
-
speclock_auditAudit staged files against active locks.
-
speclock_verify_auditVerify the integrity of the HMAC audit chain.
-
speclock_export_complianceGenerate compliance reports (SOC 2, HIPAA, CSV).
-
speclock_set_enforcementSet enforcement mode: advisory (warn) or hard (block).
-
speclock_override_lockOverride a lock with justification. Logged to audit trail.
-
speclock_semantic_auditSemantic pre-commit: analyzes code changes vs locks.
-
speclock_override_historyShow lock override history.
-
speclock_policy_evaluateEvaluate policy-as-code rules against proposed actions.
-
speclock_policy_managePolicy CRUD: list, add, remove policy rules.
-
speclock_telemetryOpt-in usage analytics summary.
-
speclock_guard_fileAdd SPECLOCK-GUARD header to lock specific files.
-
speclock_auto_guardAuto-guard files related to lock keywords.
-
speclock_add_typed_lockAdd typed constraint (numerical/range/state/temporal).
-
speclock_check_typedCheck proposed values against typed constraints.
-
speclock_list_typed_locksList all typed constraints with current thresholds.
-
speclock_update_thresholdUpdate typed lock thresholds dynamically.
-
speclock_compile_specCompile natural language (PRDs, READMEs) into structured constraints via Gemini Flash.
-
speclock_build_graphBuild/refresh code dependency graph from imports (JS/TS/Python).
-
speclock_blast_radiusCalculate blast radius — transitive dependents, impact %, depth.
-
speclock_map_locksMap active locks to actual code files via the dependency graph.
-
speclock_review_patchALLOW/WARN/BLOCK verdict — combines semantic conflict + lock-file mapping + blast radius.
-
speclock_review_patch_diffDiff-native review — parses actual diffs for interface breaks, protected symbols, dependency drift, schema changes.
-
speclock_parse_diffParse unified diff into structured changes — imports, exports, symbols, routes, schema detection.
Tool source: tools/list (live) · last probed 2026-10-09