Results for “sec-form-d”
6 skills
trailofbits mermaid-to-proverif
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models (.pv files) for proving security properties like secrecy, authentication, and forward secrecy.
6k · bundle
github linkedin-post-formatter
Format and draft compelling LinkedIn posts using Unicode bold/italic styling, visual separators, structured sections, and engagement-optimized patterns.
36.2k · bundle
More results
trailofbits fuzzing-dictionary
Guides fuzzers with domain-specific tokens to reach deeper code paths in parsers, protocol handlers, and file format processors.
6k · bundle
adobe structured-data
Generate JSON-LD structured data for AEM Edge Delivery Services pages by analyzing page content and metadata to determine schema.org types, extract properties, and produce validated snippets for head.html or scripts.js.
142 · bundle
getsentry sred-project-organizer
Organize a list of projects and their documentation into the SRED format for submission, creating Notion documents with project summaries, uncertainties, and supporting evidence.
845 · bundle
github update-markdown-file-index
Updates a markdown file section with an index or table of files from a specified folder, preserving existing structure and formatting.
36.2k