For the "is my contract obviously broken" check.
- Live demo on this page, 8 / hour / IP
aedscCLI · MIT ·npx aedsc Vault.sol- GitHub Action — comments findings on every PR
- 3 hosted scans per hour with
aedsc upload --email
a one-person concierge scanner, run by from
Paste a Solidity contract below. aedsc runs Slither and Aderyn on it — same tools the $30k auditors use — and lists the findings here in about two seconds. No signup. If you like it, install the GitHub Action so it scans every PR, or queue a full PDF report by email for €29/mo.
Hit Scan it live. Slither and Aderyn run on the server, findings appear here ranked by severity.
Nothing magical. Just two open-source engines wired together with sensible defaults and a real human reading the output before it ships to you.
Compiles with the matching solc, walks the AST, runs ~40 detectors. Catches reentrancy, unchecked transfers, weak randomness, the usual suspects.
Second opinion on the findings that matter — when two engines agree it's almost certainly real. Single-engine findings get marked as such so you know.
On the free tier you get the raw ranked list. On Pro I personally triage every report, rewrite the false positives out, sketch a fix where it's mechanical, and email it back. Until I've done ~50, then it becomes an LLM step.
Free covers the live demo and the CLI. Founder Pro buys you my eyes on every report, a priority queue, and the rate locked as long as you stay subscribed.
For the "is my contract obviously broken" check.
aedsc CLI · MIT · npx aedsc Vault.solaedsc upload --emailFor when you ship Solidity on a real schedule.
7 days free, no card needed. Add payment to keep going on day 8.
Stripe Payment Link · cancel from your customer portal in two clicks · no usage tracking · source held only for the duration of the scan plus 30 days for the report email
I'm a French CS student who got tired of seeing solo Web3 teams ship to mainnet without any pre-audit because Trail of Bits quoted them $30,000.
Slither and Aderyn are free, open-source, and excellent. The missing piece is someone who reads the output, strips the false positives, and writes a paragraph in English explaining the fix. That's the gap aedsc fills.
The plan: do this manually for the first 50 customers, build the data set, then wire the LLM layer that automates the triage step. Founder Pro is €29/month locked for life because the people paying me to learn deserve it.
If you want to chat before paying, my email is up there. I usually answer within a few hours.
slither *.sol --json output and have the time to do it, you don't need me — and the free CLI is literally a tiny wrapper you can fork. The hosted version is for everyone else.$PATH. The hosted scanner will add it back when I migrate to a bigger box, probably around the 50th paying customer./var/lib/aedsc/scans/<id>/ on a single VM in Berlin (IONOS), kept for 30 days so I can resend the report if your inbox eats it, then deleted. Source bytes are hashed (SHA-256) and used as a cache key so identical contracts return instantly — no copies leave the VM. Email contact@aedsc.xyz for delete-now./scan/form falls back to opening your mail client with the contract pre-filled, addressed to me. I'll run the scan locally and reply. This isn't a marketing fallback — it's the actual flow I shipped with on day one.one more thing
The CLI works offline. npx aedsc Vault.sol never touches my server. You can audit before mainnet without ever giving me your contract or your email. The hosted thing is just nicer.