"author:pennyleans" matching MCP servers:

Gives coding agents in-memory access to the language's specifications, diagnostic and fault catalogue, verified code recipes, and university curriculum, plus toolchain tools to check, evaluate, and test source when a local binary is installed.