Spaces:
Running
Running
ship: SZLHOLDINGS/lean-kernel — live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
5520f8e verified | server { | |
| listen 7860 default_server; | |
| server_name _; | |
| client_max_body_size 4m; | |
| # SSE / streaming build endpoint needs buffering off + long timeout | |
| location /api/lean/build { | |
| proxy_pass http://127.0.0.1:8000; | |
| proxy_http_version 1.1; | |
| proxy_set_header Connection ""; | |
| proxy_buffering off; | |
| proxy_cache off; | |
| proxy_read_timeout 3600s; | |
| add_header X-Accel-Buffering no; | |
| } | |
| location / { | |
| proxy_pass http://127.0.0.1:8000; | |
| proxy_http_version 1.1; | |
| proxy_set_header Host $host; | |
| proxy_set_header X-Real-IP $remote_addr; | |
| proxy_read_timeout 120s; | |
| } | |
| } | |