Agent
Improves defensive build posture with reproducible, threat-modeled hardening.
1 17d ago A 21 tokens
original MIT
Source code security scanner for human-written and AI-generated projects. Rust CLI with explicit coverage, JSON/SARIF, and coding-agent integrations. Built by Tom Koentjes. Pre-alpha.
Agent
Improves defensive build posture with reproducible, threat-modeled hardening.
Agent
Finds defensively relevant, reachable risk candidates and prepares safe validation artifacts.
Agent
Coordinates bounded defensive assessment cases and gates promotion on evidence.
Agent
Produces minimal, reviewable defensive remediation patches.
Agent
Validates bounded security properties with independent, reproducible checks.