SmartContractAuditing
Collection
We are working with specialized models for smart contract auditing
•
9 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.
✨ Run Specialized Models
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 |
In our early research, we also fine-tune other models:
| Model List | Model Source |
|---|---|
| FTAudit-Codellama-v0.2 (13B) | ⬇Download |
| FTAudit-Codellama (7B) | ⬇Download |
| FTAudit-Llama2 (7B) | ⬇Download |
🦙 FTAudit.ai News
- 🍀 NEW! FTAudit-Gemma-2-9b now supported
- 🐥 UPDATE! FTAudit-Codegemma model updated
🔗 Links and Resources
| Type | Links |
|---|---|
| 📚 Documentation & Wiki | Read Our Wiki |
| 🥇 Benchmarking | Details |
| 🌐 Evaluation | Reports |
- Downloads last month
- 8
This model does not have enough activity to be deployed to Inference API (serverless) yet. Increase its social
visibility and check back later, or deploy to Inference Endpoints (dedicated)
instead.