README.md

metadata

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 — Qwen2 0.5B fine-tuned with Group Relative Policy Optimization on smart contract audit data.

Training Data: 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)