trailofbits/skills
crypto-protocol-diagram
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates…
Installation
npx skills add https://github.com/trailofbits/skills
Similar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
For agent payments and paid endpoints via x402, MPP, payment links, a2a-pay, and HTTP-payment r…
11.6K installsMaster network protocol reverse engineering including packet analysis, protocol dissection, and…
10.9K installsImplement DeFi protocols with production-ready templates for staking, AMMs, governance, and fla…
9.2K installsStructured messaging protocols for agent team communication including message type selection, p…
8.4K installsProtocol-based dependency injection for testable Swift code — mock file system, network, and ex…
8.3K installs>- 阿里云百炼 `bl` 家族? 不是面向用户意图的业务? bailian-finetune / bailian-managed-agent / bai…
8.2K installsAlso in this package
Other skills from trailofbits/skills · top by installs.
npx skills add https://github.com/trailofbits/skills
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 3,206 installs