SpecLock: MCP Server for Enforcing AI Coding Constraints

SpecLock is an MCP server that remembers project constraints across sessions and blocks AI coding agents from violating them. It's available as a free, open-source tool under MIT license.
How SpecLock Works
The tool catches constraint violations through semantic understanding. Examples from the source show it can detect:
- Synonyms ("Add social login to the login page" where login → auth)
- Euphemisms ("Streamline the authentication flow" where streamline → modify)
- Temporal evasion ("Temporarily disable MFA for testing")
- Buried violations in compound sentences ("Update UI and also drop the users table")
Performance and Testing
Claude independently tested SpecLock with its own adversarial test suite: 7 suites, 100 tests total. The tool scored 100/100 with zero false positives and zero missed violations. Each constraint check takes 15.7ms on average.
Setup and Configuration
To use SpecLock as an MCP server in Claude Code, add this configuration to your .mcp.json file:
{
"mcpServers": {
"speclock": {
"command": "npx",
"args": ["-y", "speclock", "serve", "--project", "."]
}
}
}
Installation
Install via npm: npm install speclock. The tool includes 42 MCP tools and is available on GitHub at github.com/sgroy10/speclock.
📖 Read the full source: r/ClaudeAI
👀 See Also

Product Manager Shares 70+ Claude Skills for Automating PM Workflows
A product manager with 20 years experience has created over 70 Claude skills that automate common PM tasks, including PRD generation, user interview analysis, competitive profiling, and roadmap building. The skills are available as downloadable .md files for Claude Code.

Architect CLI: Open-source tool for orchestrating headless AI coding agents in CI/CD
Architect is an open-source CLI tool designed for autonomous AI coding agents in CI/CD pipelines, featuring the Ralph Loop for test-retry cycles, deterministic guardrails, YAML pipeline definitions, and support for multiple LLMs via LiteLLM.

Leanstral: Open-Source Code Agent for Lean 4 and Formal Proof Engineering
Mistral AI released Leanstral, the first open-source code agent designed for Lean 4, with 6B active parameters and Apache 2.0 licensing. Benchmarks show it outperforms larger open-source models and offers competitive performance to Claude at significantly lower cost.

MCP Server Connects Claude to Agent-to-Agent Marketplace
A developer built an MCP server that exposes five tools and two resources, allowing Claude to search, invoke, and pay for capabilities from other AI agents in a marketplace. The server includes persistent storage in an agent vault and was largely implemented using Claude Code.