gitlab/Konfis: links for lean-mcp

root/pypi lean_mcp-0.1.1.tar.gz
root/pypi lean_mcp-0.1.1-py3-none-any.whl