podman-ai-agent-isolation

Run Claude Code and Codex inside a rootless Podman jail with built-in Lean 4 support (lean-lsp MCP, lean4-skills)

接入配置

该项目没有提供统一的启动命令，请按源码仓库的说明安装。