Agentic tooling and configs
Declarative home-manager configuration for an agentic workstation: the pi coding agent with its extensions, model providers and local engines, plus the secrets, skills and modules that wire them together.
Explore the documentation
Every page is written in the repository's docs/ directory and published from there.
Home-manager configuration docs
Deeper technical documentation for the home-manager configuration, split into topics.
Philosophy
The rationale behind this home-manager setup.
Security & secrets
SOPS secrets, the age key, Filen and Anytype credentials, and path-guard hardening.
Pi extensions
How the pi coding-agent extensions in this configuration are provisioned and what they do.
Models & providers
Providers and models declared in pi-models.json, the local engines behind them, and cost tracking.
Model Compatibility Matrix
Which local models are verified to load and generate, and the rules for admitting new ones.
Using Scaleway Models in this Home Manager Configuration
Setup and usage instructions for Scaleway models.
Harness² (Harness Squared)
Google Research's recursive agent-harnessing framework: entry points, benchmark setup, and runtime prerequisites.
Herdr + firstmate: running a crew of coding agents
How herdr and firstmate turn one pi session into a supervised crew of coding agents.
Testing
How the pi-extension test suite is organized and run.
Tooling
Formatter, prek, pinned third-party binaries, and the language toolchains.
Vulnerability scanning
vulnix and trivy vulnerability scanning for this configuration.