This project links primary upstream documentation rather than treating its own summary as permanent truth. Installation interfaces, supported Ubuntu releases, provider routes, and security behavior can change.
Last reviewed: 2026-08-19.
- Ubuntu: Introduction to virtualization
- Ubuntu: libvirt
- Ubuntu: Virtual Machine Manager
- Ubuntu: GPU virtualization and graphics concepts
- Ubuntu released cloud images
- Ubuntu 26.04 LTS released cloud image directory
- cloud-init: NoCloud data source
- cloud-init: users and groups
- cloud-init: growpart and resizefs modules
- virt-install Ubuntu manpage
- AWS: Amazon EBS volume types and size ranges
- AWS: Amazon EBS pricing
- Sakura Cloud: server and disk creation
- Sakura Cloud: documented SSD disk sizes
These links inform future adapters only. The current release provisions local KVM/libvirt guests and does not create AWS or Sakura resources.
- OpenAI: Codex CLI
- Anthropic: Claude Code setup
- OpenCode documentation
- Aider installation
- Ollama Linux download
These are the installation origins used by setup-kvm-agent.sh. The script
downloads them from inside the guest.
- GitHub CLI: official Linux installation
- GitHub CLI environment variables
- GitHub's SSH key fingerprints
- GitHub: managing deploy keys
- GitHub: managing fine-grained personal access tokens
- GitHub: permissions for fine-grained personal access tokens
- GitHub: creating a repository ruleset
- GitHub: available rules for rulesets
- GitHub: pull-request REST endpoints
- GitHub: about Copilot cloud agent
- GitHub: configure cloud-agent secrets and variables
The local-VM workflow uses a repository deploy key for Git transport and a separate fine-grained token for issue/PR API access. GitHub-hosted Copilot cloud agent is optional and uses a separate environment and entitlement. See GitHub integration.
- Lean installation
- elan: Lean version manager
- Lean 4 VS Code extension
- Isabelle current release
- Isabelle installation
- Isabelle2025-2 NEWS
- GHCup installation
- GHCup user guide
- Haskell VS Code extension
- Visual Studio Code on Linux
The reduced profile follows current official channels for Lean, Haskell, VS Code, and extensions. Isabelle2025-2 is selected explicitly and its official Linux archive is checksum-verified. See Reduced formal-methods environment.
- Tailscale installation on Linux
- Tailscale grants
- Tailscale routing features
- Tailscale SSH
- WireGuard overview
- WireGuard quick start
- libvirt virsh command reference
- OpenSSH server configuration
The optional swarm profile installs an overlay client inside the guests and continues to use ordinary OpenSSH for command execution and file transfer. The physical hosts are not enrolled automatically. Persistent memory and vCPU changes use libvirt's configuration operations on a powered-off domain. See Optional cross-host manager/worker VMs.
- Codex configuration
- Claude Code model configuration
- OpenCode providers
- Aider LLM configuration
- Aider with Ollama
- Ollama documentation
For the optional journal reporter, Codex follows the official non-interactive mode and AGENTS.md interfaces. Claude follows its official programmatic mode and CLI tool controls. OpenCode is not used as an unattended journal reporter.
Provider compatibility is not inferred merely from an OpenAI-like URL. Consult the current documentation for the client and service, then test the exact agentic workflow.
An upstream link supports only the nearby technical statement. It does not mean that Ubuntu, OpenAI, Anthropic, OpenCode, Aider, Ollama, or another linked organization endorses this repository or its security analysis.