SmartContractAuditing
Collection
We are working with specialized models for smart contract auditing
•
5 items
•
Updated
Our Ecosystem aims to provide a comprehensive solution for smart contract auditing. It includes a set of specialized models, a user-friendly interface, and a powerful backend to support the entire auditing process. By leveraging the power of these specialized models, our Ecosystem can help users quickly and accurately identify potential vulnerabilities in their smart contracts, providing them with valuable insights and recommendations for improvement.
All notebooks are beginner friendly! Add your smart contract dataset, click "Run All", and you'll get a auditing report. Use can use our colab scripts or your local devices.
Model List | Free Notebooks | Model Source |
---|---|---|
FTAudit-Llama3 (8B) | ▶️ Start for free | ⬇Download |
FTAudit-Mistral (7B) | ▶️ Start for free | ⬇Download |
FTAudit-Gemma (7B) | ▶️ Start for free | ⬇Download |
FTAudit-Codegemma (7B) | ▶️ Start for free | ⬇Download |
Model List | Model Source |
---|---|
FTAudit-Codellama-v0.2 (13B) | ⬇Download |
FTAudit-Codellama (7B) | ⬇Download |
FTAudit-Llama2 (7B) | ⬇Download |
Type | Links |
---|---|
📚 Documentation & Wiki | Read Our Wiki |
🥇 Benchmarking | Details |
🌐 Evaluation | Reports |