--- 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)