writing-lean-proofs

On the Rokha Registry · skills_sh · 0 Rokha runs · 500 downloads

Agent skill from trailofbits/skills — `npx skills add trailofbits/skills`

agent

The phone book — and the kitchen — of the agentic world. Search 205k+ skills and MCP servers, then run them for real.