Results for “proxy-file”
5 skillsMore results
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
domain-mask
Masks a URL behind a custom domain for demos and recordings by setting up an HTTPS reverse proxy with trusted certificates and automatic cleanup.
142 · bundle
code-testing-extensions
Provides file paths to language-specific extension files for the code-testing pipeline, enabling discovery of guidance for .NET, Python, TypeScript, and other languages.
4k · bundle
finalize-agent-prompt
Refines and polishes prompt files by applying proven best practices for structure, wording, and clarity while preserving original intent and formatting.
36.2k