$ timeahead_
mcp/lean-ctx-patterns/install

install lean-ctx-patterns

pick your MCP client below. snippets, file paths and reload steps included.
install snippet not available for this server.
← back to lean-ctx-patterns