thejefflarson/soundcheck

Simple security reviews for AI agents

20Stars on the repository
61Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

thejefflarson/soundcheck

Agent Claude Code

Given a list of security findings, identifies chains where one finding enables another and writes a plain-English attack narrative. Invoked after vulnerability-audit and design-review have returned.

20 1mo ago B 38 tokens original MIT

contract-audit

02

thejefflarson/soundcheck

Agent Claude Code

Audits one code hotspot for a contract mismatch — a divergence between what callers assume the hotspot guarantees and what the hotspot body actually enforces. Returns hypotheses tagged VERIFIED, REFUTED, or NEEDSMORE. Invoked once per hotspot per round by the contract-review orchestrator.

20 1mo ago B 60 tokens original MIT

design-review

03

thejefflarson/soundcheck

Agent Claude Code

Audits a codebase for missing security controls — the gaps that pattern-matching auditors won't catch, like no timeout, no cost cap, no rate limit, prose-only guards. Invoked in parallel with vulnerability-audit calls.

20 1mo ago A 49 tokens original MIT

finding-validate

04

thejefflarson/soundcheck

Agent Claude Code

Second-pass refutation filter for security-review findings. Reads each candidate finding's cited code and drops the ones with concrete refutation evidence (a guard, middleware, sanitizer, or correct API call at the cited location). Bias is toward keeping; uncertain findings pass through.

20 1mo ago A 57 tokens original MIT

hotspot-mapping

05

thejefflarson/soundcheck

Agent Claude Code

Finds security-sensitive code locations in a repository — the files and functions a reviewer should look at. Reads the threat model for context, then enumerates and ranks hotspots. Invoked after threat-modeling, before per-hotspot review.

20 1mo ago A 52 tokens original MIT

threat-modeling

06

thejefflarson/soundcheck

Agent Claude Code

Builds a threat model for a codebase — what it does, where it runs, which inputs are trusted, which are untrusted. Pure context for downstream subagents; does not decide which files to look at. Invoked at the start of a security review or when planning a new feature that handles user data.

20 1mo ago B 69 tokens original MIT

vulnerability-audit

07

thejefflarson/soundcheck

Agent Claude Code

Audits all hotspots in a single file for vulnerabilities by applying named Soundcheck skills. Returns findings in plain language a non-security developer can act on. Invoked once per file (with that file's full hotspot list).

20 1mo ago B 49 tokens original MIT