awesome-tezos-security
github.com/sm4rty-1/awesome-tezos-security ↗This repository serves as a comprehensive resource that delves into the various security aspects of the Tezos blockchain and provides best practices for developing secure smart contracts. Feel free to contribute to the project. 🌐
14
GitHub Stars
36
Curated Resources
7
Categories
19 hours ago
Last Refreshed
Security checklist for Tezos smart contractsTezos Audit Reports:Tezos Formal Verification Reports:Security Blogs:Gas OptimizationsVideo Tutorials:Miscellaneous Resources:
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me official resources and community 🌐 resources from awesome-tezos-security"
Installation instructions →What's inside
Miscellaneous Resources:
- Awesome SmartPy
- Awesome Tezos
- Developer PortalOfficial Resources and Community 🌐
- DiscordOfficial Resources and Community 🌐
- ForumOfficial Resources and Community 🌐
- Open Tezos
Video Tutorials:
Tezos Audit Reports:
Gas Optimizations
Security Blogs:
Tezos Formal Verification Reports:
Showing a sample of 36 resources. View the full list on GitHub →