ahrav

Audits distributed systems design and implementation, ensuring adherence to academic standards and established protocols.

Systematically addresses code review findings and PR comments, converting them into tracked tasks for efficient resolution.

Guides the design of safe public APIs in Rust, ensuring soundness while working with unsafe code and raw pointers.

Enforces DST-compatible patterns in code review for simulation-testability, ensuring deterministic testing in coordination and pipeline operations.

Facilitates deterministic simulation testing with varying difficulty levels to ensure robust coordination in software systems.

Optimizes Rust code using SIMD vectorization, enhancing performance by generating platform-specific intrinsics and validating results.

Optimizes performance through ASM analysis and benchmarking, ensuring efficient code generation and targeted improvements.

Facilitates deep research for design decisions by coordinating multiple agents to gather and synthesize evidence for complex problems.

Facilitates comprehensive research through a six-phase funnel, ensuring thorough evidence gathering and traceability for high-stakes design decisions.

Verifies documentation accuracy against code and external claims, ensuring factual correctness and eliminating confirmation bias.

Reviews Rust interfaces to ensure ease of use and prevent misuse, promoting robust API design principles.

Enables deep performance profiling on Linux systems using PMU counters and flamegraphs for optimized code analysis.

Analyzes Rust code for performance issues, identifying allocation hot spots and optimization opportunities to enhance efficiency.

Facilitates the creation and iterative refinement of implementation plans to identify blind spots and optimize codebase decisions.

Facilitates comprehensive code reviews by leveraging multiple agents to ensure correctness, design, performance, and safety.

Audits memory safety and security in unsafe code blocks, ensuring robust buffer handling and secure operations in codebases.

Optimizes SQLite schemas and queries by analyzing live database metrics for improved performance and efficiency.

Consolidates verbose test suites by replacing repetitive unit tests with property-based, parameterized, or fuzz tests for better coverage.

Conducts thorough audits of unsafe code, ensuring performance benefits are justified and comprehensive testing coverage is achieved.

Automates documentation writing and verification for code, ensuring accuracy and eliminating bias through agent isolation.