"author:MugiZer" matching MCP servers:

This read-only server enables coding agents and people to search and retrieve curated formal-knowledge records, inspect their pinned evidence, assumptions, and publication decisions, and assess whether a contract applies to their own implementation.