The whole ecosystem, one catalog.
7,260 results · page 6 of 242
- Add to your gateway
5 Poc GeneratorsubagentDev tools
Crafts bespoke proof-of-concept programs demonstrating that zeroize-audit findings are exploitable. Reads source code and finding details to generate tailored PoCs — each PoC is individually written, not templated. Each PoC exits 0 if the secret persists or 1 if wiped. Mandatory for every finding.
- Add to your gateway
6 Test GeneratorsubagentDev tools
Generates runtime validation test harnesses (C tests, MSAN, Valgrind targets) for confirmed zeroize-audit findings. Produces a Makefile for automated test execution.
- Add to your gateway
Ask Questions If UnderspecifiedpluginDev tools
Clarify ambiguous requirements by asking questions before implementing. Only when invoked explicitly.
- Add to your gateway
C Review Fp JudgesubagentDev tools
Second-stage judge in the c-review pipeline. Runs after dedup-judge on merged primaries only. Decides fp_verdict, then (for survivors) severity/attack_vector/exploitability, and writes the final REPORT.md + REPORT.sarif. Spawned by the c-review skill orchestrator only.
- Add to your gateway
Culture IndexpluginDev tools
Interprets Culture Index survey results for individuals and teams
- Add to your gateway
Dimension AnnotatorsubagentDev tools
Adds dimensional annotations to source code at anchor points using Reserve Protocol's format
- Add to your gateway
Dimension DiscoverersubagentDev tools
Discovers dimensional vocabulary for codebases by analyzing naming conventions and protocol patterns
- Add to your gateway
Dimension PropagatorsubagentDev tools
Propagates dimensional annotations through arithmetic and call chains, reporting mismatches found during propagation
- Add to your gateway
Dimension ValidatorsubagentDev tools
Validates dimensional consistency and detects dimensional bugs in annotated code
- Add to your gateway
Dwarf ExpertpluginDev tools
Interact with and understand the DWARF debugging format
- Add to your gateway
Git CleanuppluginDev tools
Safely analyzes and cleans up local git branches and worktrees by categorizing them as merged, squash-merged, superseded, or active work.
- Add to your gateway
Modern PythonpluginDev tools
Modern Python best practices. Use when creating new Python projects, and writing Python scripts, or migrating existing projects from legacy tools.
- Add to your gateway
Mutation TestingpluginDev tools
Configures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs. Use when the user mentions mewt, muton, mutation testing, or wants to configure or optimize a mutation testing campaign.
- Add to your gateway
Property Based TestingpluginDev tools
Property-based testing guidance for multiple languages and smart contracts
- Add to your gateway
Rust Review Fp JudgesubagentDev tools
Second-stage judge in the rust-review pipeline. Runs after dedup-judge on merged primaries only. Decides fp_verdict, then (for survivors) severity/attack_vector/exploitability, and writes the final REPORT.md + REPORT.sarif. Spawned by the rust-review skill orchestrator only.
- Add to your gateway
Seatbelt SandboxerpluginDev tools
Generate minimal macOS Seatbelt sandbox configurations for applications
- Add to your gateway
Semgrep Rule Variant CreatorpluginDev tools
Creates language variants of existing Semgrep rules with proper applicability analysis and test-driven validation
- Add to your gateway
Spec Compliance CheckersubagentDev tools
Performs full specification-to-code compliance analysis for blockchain audits. Use when verifying that smart contract implementations correctly match their formal specifications or whitepapers.
- Add to your gateway
Spec To Code CompliancepluginDev tools
Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis
- Add to your gateway
trailofbits:entry-pointscommandDev tools
Identifies state-changing entry points in smart contracts
- Add to your gateway
trailofbits:semgrep-rulecommandDev tools
Creates Semgrep rules with test-first methodology
- Add to your gateway
trailofbits:spec-compliancecommandDev tools
Verifies code implements specification requirements
- Add to your gateway
Yara AuthoringpluginDev tools
YARA-X detection rule authoring with linting and quality analysis
- Add to your gateway
Zeroize AuditpluginDev tools
Detects missing or compiler-optimized zeroization of sensitive data with assembly and control-flow analysis
- Add to your gateway
acquisition-channel-advisorskillDev tools
Evaluate acquisition channels using unit economics, customer quality, and scalability. Use when deciding whether to scale, test, or kill a growth channel.
- Add to your gateway
DiscovercommandDev tools
Run a structured discovery flow from problem framing through opportunity mapping and validation planning.
- Add to your gateway
Leadership TransitioncommandDev tools
Guide PM to Director to VP/CPO transition planning with role-fit diagnostics and onboarding guidance.
- Add to your gateway
Plan RoadmapcommandDev tools
Turn strategy and validated opportunities into a sequenced roadmap with clear tradeoffs.
- Add to your gateway
PrioritizecommandDev tools
Select what to work on next using the right prioritization method for your context.
- Add to your gateway
StrategycommandDev tools
Build product strategy from positioning through opportunity and roadmap decisions.
