ahrav avatar

ahrav

Community

@ahrav · Seattle

59Followers
|
137Public Repos
|
42Published Skills

Bit wrangler 🤠 by day, byte jester 🃏 by night.

Agent Skills by ahrav

Showing 42 vetted skills indexed across 2 GitHub repositories.

ahravahrav
1

sim-scaffold

Generate simulation-testable module scaffolds with sans-IO patterns and proptest state machine tests.

Community
Advanced
ahravahrav
1

doc-rigor

Generate and verify Rust documentation claims against actual code.

Community
Advanced
ahravahrav
1

plan-forge

Develop and iteratively refine software implementation plans through structured review cycles.

Community
Advanced
ahravahrav
1

sim-review

Review coordination, gossip, and pipeline code for deterministic simulation testing compliance.

Community
Advanced
ahravahrav
1

deeper-research

Conduct multi-phase research with specialized agents to produce traceable implementation plans.

Community
Advanced
ahravahrav
1

doc-rigor-verify

Write and verify Rust documentation against actual code.

Community
Advanced
ahravahrav
1

sim-run

Executes deterministic simulation tests with progressive difficulty levels for distributed coordination systems.

Community
Advanced
ahravahrav
1

postgres-review

Review PostgreSQL schemas, queries, indexes, and configuration using database metrics.

Community
Advanced
ahravahrav
1

semantic-search

Search codebases by conceptual queries using an indexed embedding store.

Community
Intermediate
ahravahrav
1

guide-sync

Synchronize external learning guides with codebase changes via diff reports and automated fixes.

Community
Advanced
ahravahrav
1

tla-spec

Guide writing TLA+ specifications with rules for safety and liveness.

Community
Advanced
ahravahrav
1

create-task

Generate detailed implementation tasks from minimal intent via codebase research.

Community
Advanced
ahravahrav
1

doc-code-audit

Audit documentation and diagrams against codebase types, signatures, and invariants.

Community
Advanced
ahravahrav
1

jepsen-test

Execute Jepsen-style cluster tests to validate gossip-rs correctness under network partitions.

Community
Advanced
ahravahrav
1

plan-review

Validate markdown implementation plans with multi-agent reviews and categorized reports.

Community
Advanced
ahravahrav
1

dist-sys-auditor

Audit distributed systems designs and code against locked decisions and citations.

Community
Advanced
ahravahrav
1

design-doc-audit

Audit design documents in docs/ against the current codebase for consistency.

Community
Advanced
ahravahrav
1

safe-over-unsafe

Design safe Rust public APIs that abstract over unsafe code.

Community
Advanced
ahravahrav
1

review-task

Validate development tasks by checking codebase references, edge cases, and scope.

Community
Advanced
ahravahrav
2

rule-optimize

Modify, test, and benchmark secret scanning detection rules against baseline metrics.

Community
Intermediate
ahravahrav
2

sqlite-review

Analyze and optimize SQLite schemas, queries, indexes, and pragmas.

Community
Advanced
ahravahrav
2

execute-review-findings

Normalize code review findings into tasks and execute them in priority waves.

Community
Advanced
ahravahrav
2

linux-perf-profile

Profile Linux performance on ARM Graviton3 systems using the perf tool.

Community
Advanced
ahravahrav
2

archive-src

Creates a source-only tar.gz archive from src/, tests/, and Cargo.toml.

Community
Basic