0xtoshi/seli_auditor-BF16

Hugging Face
TEXT GENERATIONConcurrency Cost:1Model Size:7.6BQuant:FP8Ctx Length:32kPublished:May 14, 2026License:otherArchitecture:Transformer Warm

The 0xtoshi/seli_auditor-BF16 is a 7.6 billion parameter language model, fine-tuned by 0xtoshi from the Qwen2.5-Coder-7B-Instruct base, specifically for smart contract security auditing. It integrates a seed adapter for Solidity vulnerability detection and a local fine-tune on an audit dataset, focusing on identifying complex bug shapes like reentrancy, access control issues, and oracle manipulation. This model is optimized for high-quality smart contract security review, local regression testing, and PoC planning within authorized scopes.

Loading preview...

SELI Auditor BF16: Smart Contract Security Model

This model, developed by 0xtoshi, is a 7.6 billion parameter variant based on the Qwen/Qwen2.5-Coder-7B-Instruct architecture, specifically engineered for smart contract security auditing. It incorporates a merged BF16 Hugging Face model, combining a seed adapter (jhsu12/solidity-vulnerability-detector) with a local fine-tune on a specialized audit dataset.

Key Capabilities

  • Specialized Fine-tuning: Trained on a comprehensive audit dataset, including 3441 context-filtered rows, 95 named bug shapes, and 570 shape mentions, with a maximum training context of 4096 tokens.
  • Vulnerability Detection: Excels at identifying a wide range of Solidity vulnerabilities, including reentrancy, access-control, amm, accounting, oracle, upgradeability, flashloan, economic-model, and signature issues.
  • Proof-Gated Audit Behaviors: Incorporates proof-gated audit behaviors such as SOURCE_AVAILABILITY_CHECK, MANUAL_REVIEW_PACKET, MONEY_FLOW_GRAPH, and TWO_USER_SHARED_POOL_POC.
  • Comprehensive Coverage: Covers various axes like line_level_evidence, invariant_binding, shared_pool_claims, rounding_and_donation, and self_reentry.

Intended Use Cases

  • Smart Contract Security Review: Authorized security review of Solidity smart contracts.
  • Local Regression Testing: Performing local regression tests for smart contract code.
  • PoC Planning: Planning Proof-of-Concept exploits within owned or authorized scopes.
  • Audit Triage: Assisting in the triage process for audit findings.
  • Invariant-Focused Code Review: Conducting code reviews with a focus on contract invariants.

Finetunes
1 models