tools/web_fetch.py

• fetch_url · function · L15-L33 — def fetch_url(url: str) -> str
• make_web_fetch · function · L36-L47 — def make_web_fetch( fetch_fn: Callable[[str], str] | None = None, ) -> Callable[..., str]
• web_fetch · function · L41-L45 — def web_fetch(url: str) -> str