New for TON devs: Deep Smart Contract Audit Skill

A new audit skill for TON smart contracts is now live — powered by TON Symbolic Analyzer (TSA) and combining LLMs with formal methods.

What is TSA?
A symbolic execution engine that simulates contract behavior across many possible states to uncover non‑obvious bugs.

What the skill does:

• Explores real execution paths
• Analyzes smart contract code at the bytecode level
• Detects critical issues:
– Unauthorized fund withdrawal scenarios
– Incorrect handling of bounced messages
– Replay attack vulnerabilities

• Generates test cases
• TSA enable deep analysis for higher security coverage.
• Produces a structured audit report

⚙️ It is free and powerful smart contract audit skill for all TON developers!

More details:
🔗 https://tonsec.dev/smart-contract-audit-agent
Includes a case study showing how it reproduced a real DEX vulnerability.