MCP servers from io.github.smartmemory
Structured execution for Claude Code — contracts, postconditions, gates, guardrails.