Docs.rs

A comprehensive suite of PHP tooling inspired by Rust’s approach, providing parsing, linting, formatting, and more through a unified CLI and library interface.

An orchestrator crate for Mago, coordinating various components to provide a unified PHP tooling experience.

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.

A PHP dependencies guard that helps keep your architecture clean.

A universal key-value store for agentic tools

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

PHP type system representation, comparison logic, and codebase metadata for static analysis.

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

PHP Semantics Checker.

Position-insensitive AST fingerprinting for incremental analysis

Apply custom criteria to any reqwest response, deciding when and how to retry.

Resolves and normalizes identifiers (classes, functions, constants) within PHP code.

Reformats PHP source code according to configurable style rules, ensuring consistent code style across a project or organization.

Analyzes PHP docblocks to extract annotations, tags, and documentation comments, aiding tools that rely on inline documentation.