trailmark-finding-triage
trailofbits
Check a security finding with Trailmark evidence.
Security triage
trailofbits
GitHub publisher83 Skills347.3k installs
Organization · Trail of Bits · www.trailofbits.com · On GitHub since 2012
- 1.1k
- 1.1k
trailmark-variant-neighborhood
trailofbits
Find code that may repeat a vulnerability.
Vulnerability analysis
- 1.1k
trailmark-review-gate
trailofbits
Catch structural security regressions before merge.
Security code review
- 947
writing-lean-proofs
trailofbits
Readable Lean proofs, built on clear statements.
Formal verification
- 886
modern-cpp
trailofbits
Safer C++ code through modern language idioms.
Secure software development
- 839
goal-prompt
trailofbits
Turn long-running tasks into checkable goals.
Prompt engineering
- 805
code-improver
trailofbits
Your code, improved until a named review passes.
Code quality
- 770
pr-improver
trailofbits
Get your branch ready with repeated PR fixes.
Code review
- 491
post-patch-validation
trailofbits
Put security fixes to the test before merging.
Security testing
- 453
ghidra-headless
trailofbits
Turn compiled binaries into readable C code.
Reverse engineering
audit-prep-assistant
trailofbits
Get your codebase ready for a security audit.
Security audit preparation