Docs.rs

Command-line interface for BoxLite container runtime

A PHP linter that identifies common coding errors, style issues, and potential bugs, helping maintain high code quality.

A PHP static analyzer that can detect type errors in PHP code, and provide suggestions for fixing them.

Shared types and protocol definitions for BoxLite host-guest communication

CLI tool for merging, watermarking, and manipulating PDF files

Builds and bundles bwrap from bubblewrap

FFI bindings to gvproxy-bridge C library

Builds and bundles mke2fs from e2fsprogs

FFI bindings to libkrun and libkrunfw

A PHP dependencies guard that helps keep your architecture clean.

A low-level parser of Rust source code with high-level visitor implementations

Autonomous multi-agent orchestrator for AI coding agents via tmux

Protocol message primitives for the Gantry protocol

The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses.

The pre-compiled prelude of PHP's built-in symbols, used by Mago for fast, dependency-free analysis.