ahrav
Community@ahrav · Seattle
Bit wrangler 🤠 by day, byte jester 🃏 by night.
Agent Skills by ahrav
Showing 42 vetted skills indexed across 2 GitHub repositories.
sim-scaffold
Generate simulation-testable module scaffolds with sans-IO patterns and proptest state machine tests.
doc-rigor
Generate and verify Rust documentation claims against actual code.
plan-forge
Develop and iteratively refine software implementation plans through structured review cycles.
sim-review
Review coordination, gossip, and pipeline code for deterministic simulation testing compliance.
deeper-research
Conduct multi-phase research with specialized agents to produce traceable implementation plans.
doc-rigor-verify
Write and verify Rust documentation against actual code.
sim-run
Executes deterministic simulation tests with progressive difficulty levels for distributed coordination systems.
postgres-review
Review PostgreSQL schemas, queries, indexes, and configuration using database metrics.
semantic-search
Search codebases by conceptual queries using an indexed embedding store.
guide-sync
Synchronize external learning guides with codebase changes via diff reports and automated fixes.
tla-spec
Guide writing TLA+ specifications with rules for safety and liveness.
create-task
Generate detailed implementation tasks from minimal intent via codebase research.
doc-code-audit
Audit documentation and diagrams against codebase types, signatures, and invariants.
jepsen-test
Execute Jepsen-style cluster tests to validate gossip-rs correctness under network partitions.
plan-review
Validate markdown implementation plans with multi-agent reviews and categorized reports.
dist-sys-auditor
Audit distributed systems designs and code against locked decisions and citations.
design-doc-audit
Audit design documents in docs/ against the current codebase for consistency.
safe-over-unsafe
Design safe Rust public APIs that abstract over unsafe code.
review-task
Validate development tasks by checking codebase references, edge cases, and scope.
rule-optimize
Modify, test, and benchmark secret scanning detection rules against baseline metrics.
sqlite-review
Analyze and optimize SQLite schemas, queries, indexes, and pragmas.
execute-review-findings
Normalize code review findings into tasks and execute them in priority waves.
linux-perf-profile
Profile Linux performance on ARM Graviton3 systems using the perf tool.
archive-src
Creates a source-only tar.gz archive from src/, tests/, and Cargo.toml.