Automatic smart contract audits with TSA-powered agent skills
Audit TON smart contracts with a TSA-powered agent skill that helps your agent go deeper than a surface-level review.
Install it in two commands, ask the agent to audit your project, and get back a verified markdown report.
Start in two commands
Install TSA and add the audit skill with npm, then ask your agent to audit the project.
Go beyond surface-level review
The agent combines manual review with TSA, which systematically explores execution paths and reasons on bitcode level.
Get a verified report
Behavior-based findings are checked with sandbox tests and delivered as a markdown audit report.
Case study
See how our agent reproduced a critical DEX vulnerability
We wrote a case study about a real audit scenario where the TSA-powered agent surfaced a high-impact issue in a DEX vault flow.
How it works
From setup to final report, the workflow is short and easy to follow.
Install in two commands
npm install tsa-installernpx skills add espritoxyz/ton-ai-audit-skill- Install TSA and add the audit skill via npm.
- Ask the agent to audit your smart contract project.
- The agent reviews the code and runs TSA security checks.
- Behavior-based findings are verified with sandbox tests.
- You receive a markdown report with the final findings.
What you get
A markdown report backed by verified behavior
The final output is a markdown audit report with the findings and supporting context from the review.
When a finding depends on specific contract behavior, the agent verifies it with sandbox tests before it goes into the report.
Who it is for
- Smart contract developers who want a practical security review before shipping changes.
- Teams that want stronger signals than a plain agent can provide on its own.
- Projects that need a report they can read, share, and act on immediately.
Why TSA makes a difference
TSA helps the agent inspect smart contracts more deeply by systematically exploring execution paths and reasoning at bitcode level.
That gives the review more precision and helps surface issues that are easy to miss in a plain manual pass.