"author:michal-niedzwiedzki" matching MCP servers:

Checks that every computed number in a Markdown document still matches the formula that produced it, and repairs it under an explicit write gate — so an agent's correct formula can't ship with a wrong total. Exposes every VisiMark command as a tool (check, explain, eval, infer, format), the authoring discipline as resources, and the orderings an agent gets wrong unsupplied as prompts. Read-only by