One task.
The right tool.

Linux tools, in detail.
Commands, requirements and status.

THE TOOLS / FIVE INSTRUMENTS

Pick the question.
Get the instrument.

Commands, technical scope, repositories and current status. Each tool has its own page with examples and validation limits.

? 02 / EXPLAIN v0.1

ATFQ

A Linux companion for the terminal.

Short answers first, your machine’s real state second, the deep “why” only if you want it. Never runs your commands, never changes the system, never touches the network.

atfq free --why

x86_64 + aarch64 binaries · MIT / Apache-2.0

⧉ 03 / VERIFY v0.1

distroproof

Check that your program holds on every distro.

Boots VMs on the real kernel of each target distro, runs your program there, and compares failing targets with passing ones using environment facts — libc, BTF, perf policy, lockdown and memlock limits.

distroproof run --target rocky-8 -- envprobe --json

20 distro images · Omniscient case study: 27 defects found · MIT / Apache-2.0

▥ 04 / RECONCILE v0.1

xpac

Package inventory, provenance and conservative plans.

Lists what is installed and why, explains dependencies, and reconciles packages and dotfiles against a declarative TOML profile — through a plan you can read, save and dry-run first.

xpac plan -f system.toml

seven native executors · signed release binaries · MIT / Apache-2.0

◰ 05 / PROVISION In development

VMAnyware

Reproducible environments on your own Proxmox homelab.

Define an environment once, provision it on Proxmox, then manage and reach it from desktop or mobile. A native client and a self-hosted control plane.

native/API workflows tested · real homelab acceptance pending · MIT / Apache-2.0

FROM QUESTION TO MACHINE / FIVE ROLES

One machine.
Different questions.

Each tool can be used on its own. Explore the roles and the implementation details behind them.

HOW THE TOOLS WORK TOGETHER

Independent tools.
Shared evidence.

See how the tools check each other, and read the measured results and limits.

Read the chain, the results and the evidence.