skills.rest
DobricLilujun
DobricLilujunCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

secure-workflow-guide

Automate a five-step secure development workflow for Ethereum smart contracts.

Updated Aug 27, 2026
Search Tags:#workflow#security#verification#diagram#smart-contracts#slither
One-click install
npx skills add https://github.com/DobricLilujun/LabAgentSkill --skill secure-workflow-guide-dobriclilujun
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: secure-workflow-guide
Source: https://github.com/DobricLilujun/LabAgentSkill/tree/main/skillsHub/skills_scaling/building-secure-contracts/skills/secure-workflow-guide
Command: npx skills add https://github.com/DobricLilujun/LabAgentSkill --skill secure-workflow-guide-dobriclilujun

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Guides teams through Trail of Bits' secure development workflow - a 5-step process to enhance smart contract security throughout development.

Core Features & Use Cases

  • 5-step workflow: checks, validations, visualizations, documentation, and reviews
  • Slither-based security scanning with 70+ detectors and actionable findings
  • Visual diagrams for inheritance, functions, and state variable authorizations
  • Documentation of security properties and testing setup (Echidna, Manticore)
  • Manual review guidance to catch privacy, front-running, cryptography, and DeFi risks
  • Adaptable to projects with upgradeability, ERC conformance, and token integration

Quick Start

Run the secure workflow on your project to initiate automated checks and generate a tailored action plan.

Frequently Asked Questions about secure-workflow-guide

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I automate smart contract security scanning and audits before deployment?▼

Automate smart contract security scanning using a 5-step workflow that applies Slither detectors, feature validation, and diagram generation to identify vulnerabilities during development and pre-deployment audits.

What is the best way to generate visual diagrams for smart contract inheritance and state variables?▼

Generate visual diagrams for smart contract inheritance, functions, and state variable authorizations by running an automated secure workflow that maps structural relationships for manual review.

Does the secure workflow guide support upgradeability and ERC conformance checks for Ethereum projects?▼

Yes, the secure workflow adapts to Ethereum-based projects by tailoring automated checks and outputs specifically for identifiable upgradeability, ERC conformance, and token integration patterns.

Do I need Echidna and Manticore to document security properties for smart contracts?▼

You need access to security tooling like Echidna and Manticore to tailor property tests and setup documentation, while Slither is required for the initial automated scanning and validation steps.

How can I catch DeFi risks and front-running vulnerabilities during smart contract development?▼

Catch DeFi risks, front-running, privacy, and cryptography vulnerabilities by following the manual review guidance provided after automated scanning and diagram generation within the secure workflow.

Related Skills

Explore More Software Engineering Skills→
SuperlendSuperlend

secure-workflow-guide

Guide Ethereum smart contract development through Trail of Bits' five-step secure workflow.

Official
Advanced
ayehiaaayehiaa

secure-workflow-guide

Run a 5-step security workflow with Slither scans and security diagrams for Solidity.

Community
Advanced
iiammaeiiammae

secure-workflow-guide

Guides Solidity smart contracts through a 5-step security review workflow using Slither, Echidna, and Manticore.

Community
Advanced
multiversxmultiversx
12

multiversx-security-audit

Audit MultiversX smart contracts for security vulnerabilities using Semgrep scanning.

Official
Advanced