Results for “cryptographic-protocols”
51 skillsmermaid-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
performing-cryptographic-audit-of-application
Systematically reviews an application's use of cryptographic primitives, protocols, and key management to identify vulnerabilities such as weak algorithms, insecure modes, hardcoded keys, insufficient entropy, and protocol misconfigurations.
24.6k · bundle
More results
crypto-protocol-diagram
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, or formal models (ProVerif/Tamarin) and generates Mermaid sequence diagrams with cryptographic annotations.
6k · bundle
protocol-reverse
Authorized reverse engineering of custom binary protocols, Protobuf/gRPC, WebSocket frames, and PCAP-driven protocol recovery with structured workflow and tooling.
12.8k · bundle
cryptography
Explains cryptographic primitives and provides Python implementations for encryption, hashing, key exchange, and digital signatures.
1
cryptography
Comprehensive cryptography guidance covering encryption algorithms, password hashing, TLS configuration, key management, and post-quantum considerations. Use when implementing encryption, choosing hashing algorithms, configuring TLS/SSL, managing cryptographic keys, or reviewing cryptographic implementations.
3 · bundle
swift-language
Apply Optionals, Protocols, Extensions, and Type Safety patterns in Swift. Use when working with Swift Optionals, Protocols, Extensions, or type-safe APIs.
542 · bundle
inverse-etf-proxy
Inverse ETF Proxy for Crypto Shorts
3
constant-time-testing
Detect timing side channels in cryptographic code using formal, symbolic, dynamic, and statistical testing tools.
6k · bundle
bitcoin-core-rpc
Bitcoin Core JSON-RPC interface: authentication (cookie, rpcauth), wallet vs node RPCs, common verbs (getblockchaininfo, getrawtransaction, scantxoutset, importdescriptors, walletprocesspsbt, submitpackage, testmempoolaccept), error handling. USE WHEN: scripting bitcoind, integrating a service, debugging RPC errors.
28
pump-security
Security Practices — Cryptographic Safety, Memory Zeroization & Hardened I/O
0
mcp-server-patterns
Build MCP servers with Node/TypeScript SDK — tools, resources, prompts, Zod validation, stdio vs Streamable HTTP. Use Context7 or official MCP docs for latest API.
226k
mcp-server-patterns
Build MCP servers with Node/TypeScript SDK — tools, resources, prompts, Zod validation, stdio vs Streamable HTTP. Use Context7 or official MCP docs for latest API.
0
key-management
The central pattern.
2
implementing-end-to-end-encryption-for-messaging
Implements a simplified version of the Signal Protocol's Double Ratchet algorithm using X25519, HKDF, and AES-256-GCM for end-to-end encrypted messaging.
24.6k · bundle
standards
Provides Ethereum token and protocol standards including ERC-20, ERC-721, ERC-1155, ERC-4337, ERC-8004 agent identity, EIP-7702, EIP-3009 gasless transfers, and x402 HTTP payment protocol.
1.2k · bundle
perl-security
Secure Perl applications against injection, taint, and web vulnerabilities with validated patterns for input handling, file operations, process execution, and DBI queries.
0
gof-proxy-pattern
GOF Proxy Pattern
18 · bundle
migrating-to-post-quantum-cryptography
Inventory cryptographic assets, deploy hybrid X25519 and ML-KEM key exchange, and prioritize migration of harvest-now-decrypt-later data.
24.6k · bundle
quarkus-security
Secure Quarkus applications with authentication, authorization, input validation, and secrets management best practices.
0
perl-security
Comprehensive Perl security covering taint mode, input validation, safe process execution, DBI parameterized queries, web security (XSS/SQLi/CSRF), and perlcritic security policies.
0
implementing-zero-knowledge-proof-for-authentication
Implements Schnorr identification protocol and zero-knowledge password proof for authentication where the server never learns the user's password.
24.6k · bundle
typescript-core
Advanced TypeScript patterns and best practices for 2025
71 · bundle
perl-security
Comprehensive Perl security covering taint mode, input validation, safe process execution, DBI parameterized queries, web security (XSS/SQLi/CSRF), and perlcritic security policies.
0
vow
Defines a protocol for agents to make cryptographically enforced commitments with tiers for ethical, financial, and confidential promises, including execution steps.
32
performing-hardware-security-module-integration
Integrate Hardware Security Modules (HSMs) using the PKCS#11 interface for cryptographic key management, signing operations, and secure key storage with python-pkcs11, AWS CloudHSM, and YubiHSM2.
24.6k · bundle
quarkus-security
Secure Quarkus applications with authentication, authorization, input validation, and secrets management.
226k
legal-advisor
Draft privacy policies, terms of service, disclaimers, and legal notices with GDPR, CCPA, and other regulatory compliance.
20
grpc
gRPC service development. Protocol Buffers (protobuf), service definitions, streaming (unary, server, client, bidirectional), interceptors, and code generation for Node.js, Go, Java, and Python. USE WHEN: user mentions "gRPC", "protobuf", "Protocol Buffers", ".proto", "grpc-js", "tonic", "grpc-java", "service mesh RPC" DO NOT USE FOR: REST APIs - use `rest-api`; GraphQL - use `graphql`; WebSocket - use real-time skills
28
kotlin-ktor-patterns
Provides Ktor server patterns including routing DSL, plugins, authentication, Koin DI, kotlinx.serialization, WebSockets, and testApplication testing.
226k
exploiting-http-request-smuggling
Detect and exploit HTTP request smuggling vulnerabilities caused by Content-Length and Transfer-Encoding parsing discrepancies between front-end and back-end servers.
24.6k · bundle
security
Implements layered security for Flutter apps: code obfuscation, certificate pinning, secure storage, encryption, biometric authentication, and root/jailbreak detection.
4
analyzing-certificate-transparency-for-phishing
Monitor Certificate Transparency logs using crt.sh and Certstream to detect phishing domains, lookalike certificates, and unauthorized certificate issuance targeting your organization.
24.6k · bundle
security
Implements security-sensitive changes with conservative trust boundaries, secret protection, tests, and verification.
0
repo-watch
Protocol for monitoring repo changes and extracting new knowledge.
0
model-context
MCP (Model Context Protocol) - Build AI-native servers with tools, resources, and prompts. TypeScript/Python SDKs for Claude Desktop integration.
71 · bundle