There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
BELMA is a robust security framework for smart contract vulnerability detection and repair on blockchain platforms like Ethereum and Hyperledger. It combines formal verification with large language models like GPT-3 for comprehensive security. This repository includes code, documentation, and examples for quick implementation.
