Post #2800067

Run Claude Code and Codex inside a rootless Podman jail with built-in Lean 4 support (lean-lsp MCP, lean4-skills) https://github.com/vzaliva/podman-ai-agent-isolation