symbolic
Symbolic execution via Halmos. For paths that fuzzing cannot reach.
A command is the one you type. It runs exactly when you ask it to, and never before.
426 commands across 357 plugins.
Symbolic execution via Halmos. For paths that fuzzing cannot reach.
Generate a Foundry test suite — happy path + edge cases + adversarial tests — for a contract or function.
Compose a tweet from the latest audit. Either auto-posts (if Twitter API creds set) or generates a one-click intent URL.
Weekly 1-page executive summary for the CISO and direct leadership
Deep dive analysis of NIST 800-53 control families with implementation guidance
Execute a hunt phase with parallel telemetry work, query logging, receipt generation, and optional wave targeting
Generate a session report with token usage estimates, work summary, and outcomes
Check storage compatibility, initializer changes, and admin-function deltas between two implementations of an upgradeable contract.
Verify deployed bytecode matches the source you have, with correct constructor args.
Second-opinion mode — re-check a specific finding with deeper analysis. Triages true vs false positives.
Get a working primer on a GRC framework — purpose, scope, artifacts, cadence, and where to start
Create an editable draw.io grc framework crosswalk diagram for GRC professionals
List every SCF-mapped framework (249) and show which have a dedicated plugin
Switch model profile for THRUNT agents (quality/balanced/budget/inherit)
Turn a signal into testable hunt hypotheses, scope, datasets, and success criteria
Identify gaps between current state and HITRUST CSF requirements
Aggregate connector findings, map to requested frameworks via SCF crosswalk, and produce a prioritized gap report with remediation links.
Loop on gap-assessment + generate-implementation until severity-N findings = 0
Display project statistics — phases, plans, requirements, git metrics, and timeline
Generate UI design contract (UI-SPEC.md) for frontend phases
Convert SOC 2 gap analysis findings to Infrastructure as Code fixes
Generate implementation code for a security control
Generate assessment interview questions mapped to framework controls
Retroactive 6-pillar visual audit of implemented frontend code
Validate hunt conclusions against receipts, contradictory evidence, and success criteria
Generate policy-as-code from natural language requirements
Generate Trust Service Criteria implementation matrix
Retroactively audit and fill Nyquist validation gaps for a completed phase
Manage parallel workstreams — list, create, switch, status, progress, complete, and resume
© 2026 Flowy · Free and open source
Built for Claude Code · Not affiliated with Anthropic