Module proxy_setup 

Functions

default_port

install_proxy_env

install_proxy_env_unchecked

Install proxy env without config guard (used by lean-ctx proxy enable which has already set the flag). force_endpoint: if true, overrides even non-local custom endpoints.

preview_proxy_cleanup

uninstall_proxy_env