Search
Development · Cryptography
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Reviews APIs, configuration schemas and library interfaces for footguns, the designs where the easy path leads to insecure use, using a four-phase analysis. | trailofbits/ | 7.5k | 3 repos | ~3k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 2 | Finds sensitive data that C, C++ or Rust code never wipes from memory, including wipes the compiler optimizes away, using source, assembly and control-flow analysis. | trailofbits/ | 7.5k | 4 repos | ~5.9k | Automated safety check: Notes | CC-BY-SA-4.0 | yesterday |
| 3 | Turns a cryptographic protocol's source code, RFC, paper or ProVerif or Tamarin model into a Mermaid sequence diagram annotated with each cryptographic operation. | trailofbits/ | 7.5k | — | ~4.6k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 4 | Converts a Mermaid sequence diagram of a cryptographic protocol into a ProVerif model file ready for checking secrecy, authentication and forward secrecy. | trailofbits/ | 7.5k | — | ~4.5k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 5 | Security-focused code review mapped to OWASP Top 10 and ASVS. | OWASP/ | 188 | — | ~549 | Automated safety check: Pass | CC-BY-4.0 | 15 days ago |
| 6 | Configure TLS certificates and encryption for secure communications. | ancoleman/ | 525 | — | ~3.6k | Automated safety check: Notes | MIT | 10 mo ago |
| 7 | A skill your agent uses when the user is doing hands-on DOCA AES-GCM work on a BlueField DPU or ConnectX NIC — configuring docaaesgcmtaskencrypt / taskdecrypt, querying docaaesgcmcap for… | NVIDIA/ | 3.6k | — | ~4.2k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 8 | Audit extracted embedded firmware for boot and update trust, credential and secret handling, service exposure, privilege boundaries, parsers, persistence, cryptography, hardening, recovery, and… | cyberful/ | 135 | — | ~644 | Automated safety check: Pass | AGPL-3.0 | 1 mo ago |
| 9 | A skill your agent uses when targeting IACR Conference on Cryptographic Hardware and Embedded Systems (CHES) or deciding whether a computer-science manuscript fits this venue. | franklee16/ | 223 | 1 repo | ~1.9k | Automated safety check: Pass | No licence | 22 days ago |
| 10 | Perform evidence-driven security code reviews across application repositories, services, libraries, and pull requests. | SpecterOps/ | 706 | — | ~2.3k | Automated safety check: Pass | Apache-2.0 | 17 days ago |
| 11 | Expert knowledge for Azure IoT development including decision making, architecture & design patterns, and configuration. | MicrosoftDocs/ | 776 | — | ~964 | Automated safety check: Pass | CC-BY-4.0 | 5 days ago |
