Run Claude Code and Codex inside a rootless Podman jail with built-in Lean 4 support (lean-lsp MCP, lean4-skills)
Setup
This project documents no single launch command; follow its repository instructions.
podman-ai-agent-isolation
vzaliva
Related
More- Bbutterbase-ossbutterbase-aiOpen-source backend-as-a-service. Postgres, auth, storage, functions, AI gateway, MCP.Developer Tools3k Repository stars
- Oopen-reverselabLING71671Open-source AI reverse-engineering agent platform and MCP server for Ghidra, Frida, x64dbg and Rizin — automated PE/APK/binary analysis, CTF and malware research, with 100+ MCP tools and a 194-article runnable knowledge base.Developer Tools1.3k Repository stars
- Aai-engineering-from-scratch-zhfancyboi999ChinaAgent工程师最全学习路径 · 从零精通 AI 工程 · 20 阶段 542 课 · 中文全量翻译 + 配套站点 + 动画讲解视频 · 如何成为 AI Agent 工程师的修成指南Developer Tools1.3k Repository stars
- RRhinoMCPclickyAI features for RhinoDeveloper Tools372 Repository stars
- AAgentClawNegai-aiAgentClaw turns one-sentence ideas into reusable Claw capabilities. Build less boilerplate with declarative workflows, computer browser code file control, MCP, Skills, memory, knowledge bases, tracing, scheduling, and API/MCP publishing.Developer Tools329 Repository stars
- Ddeepseek-mcparizen-devA tiny MCP stdio server that exposes DeepSeek as a cheap supervised worker for Claude Code, Codex, or any MCP client.Developer Tools53 Repository stars