Spaces:
Sleeping
Sleeping
| title: "π Smart Contract Security Auditor" | |
| emoji: π | |
| colorFrom: blue | |
| colorTo: purple | |
| sdk: gradio | |
| sdk_version: 5.33.0 | |
| app_file: app.py | |
| python_version: "3.10" | |
| pinned: false | |
| models: | |
| - oxdev/security-auditor-grpo | |
| - Qwen/Qwen2.5-Coder-0.5B-Instruct | |
| preload_from_hub: | |
| - oxdev/security-auditor-grpo model.safetensors,tokenizer.json,tokenizer_config.json,config.json,generation_config.json,chat_template.jinja | |
| - Qwen/Qwen2.5-Coder-0.5B-Instruct | |
| # π Smart Contract Security Auditor β GRPO vs Base | |
| Side-by-side comparison of a GRPO-trained smart contract security auditor vs the base Qwen2.5-Coder-0.5B-Instruct model. | |
| **GRPO Model**: [oxdev/security-auditor-grpo](https://huggingface.co/oxdev/security-auditor-grpo) β Qwen2 0.5B fine-tuned with Group Relative Policy Optimization on smart contract audit data. | |
| **Training Data**: [oxdev/smart-contract-security-audit-v2](https://huggingface.co/datasets/oxdev/smart-contract-security-audit-v2) β 50,902 real audit findings from top security firms. | |
| ## Features | |
| - π Side-by-side audit comparison (GRPO vs Base) | |
| - π Pre-loaded test cases with known vulnerabilities (reentrancy, access control, oracle manipulation, etc.) | |
| - π Automated scoring of audit output quality | |
| - β‘ Runs on CPU (0.5B model fits comfortably) | |