# src/lean_explore/http/__init__.py

"""HTTP server module for Lean Explore.

This module provides an HTTP server that exposes the same API endpoints
as the remote Lean Explore API, but can run locally without requiring
an API key.
"""

