gadievron

gadievron/raptor

Agent Claude Code

Hypothesis-driven code review with tool-grounded validation. Forms testable hypotheses, validates with Semgrep/Coccinelle/SMT, records findings.

gadievron/raptor

Agent Claude Code

Generate gcov coverage data for a code repository.

gadievron/raptor

Agent Claude Code

Analyze security bugs from any C/C++ project with full root-cause tracing.

gadievron/raptor

Agent Claude Code

Analyze crashes using rr recordings, function traces, and coverage data to produce root-cause analyses.

gadievron/raptor

Agent Claude Code

Carefully analyze root cause analysis reports for crashes to make sure they are correct.

gadievron/raptor

Agent Claude Code

Fetch a bug-tracker report and distil it into one schema-validated bug-report.json artifact.

gadievron/raptor

Agent Claude Code

Multi-stage pipeline to validate vulnerability findings are real, reachable, and exploitable.

gadievron/raptor

Agent Claude Code

Generate function-level execution traces for debugging and analysis.

gadievron/raptor

Agent Claude Code

Use this agent when the user needs to perform offensive security operations, security testing, or vulnerability research tasks. This includes:\n\n \nContext: User wants to test a web application for security vulnerabilities.\nuser: "I need to scan this web application at https://example.com for common…

gadievron/raptor

Agent Claude Code

Verify all collected evidence against original sources.

gadievron/raptor

Agent Claude Code

Validate hypothesis claims against verified evidence.

gadievron/raptor

Agent Claude Code

Form evidence-backed hypotheses for forensic investigations.

gadievron/raptor

Agent Claude Code

Query GH Archive via BigQuery for tamper-proof forensic evidence.

gadievron/raptor

Agent Claude Code

Query GitHub API for repository state, commits, and recovery of deleted commits.

gadievron/raptor

Agent Claude Code

Extract IOCs from vendor security reports as forensic evidence.

gadievron/raptor

Agent Claude Code

Analyze cloned repositories for dangling commits and git forensics.

gadievron/raptor

Agent Claude Code

Recover deleted GitHub content via Wayback Machine.

gadievron/raptor

Agent Claude Code

Generate final forensic report from confirmed hypothesis and evidence.

gadievron/raptor

Command Claude Code

Full autonomous security workflow.

gadievron/raptor

Command Claude Code

Analyze existing SARIF findings with LLM.

gadievron/raptor

Command Claude Code

Add, list, edit, or remove per-function annotations attached to source files.

gadievron/raptor

Command Claude Code

Ask an LLM model a question — developer tool for cross-model queries and diagnosis.

gadievron/raptor

Command Claude Code

Systematic hypothesis-driven security review of coverage gaps.

gadievron/raptor

Command Claude Code

Black-box binary investigation — autonomous ranking, map, parser tracing, fuzz, graph, report, handoff, diagram.