MCP servers from io.github.davet47
Content-addressed contracts and a verification cache that cut agent context by skipping proven code.