Scan from your terminal.
npx aedsc — no install.
A 12 KB CLI that wraps Slither, formats the output into plain English, and lets you one-line upload to the AEDSC backend for the full merged Slither + Mythril + Aderyn report. MIT, free, no signup, no telemetry.
npm install -g aedscQuick local scan
Run Slither on a .sol file and get a clean, ranked output in your terminal. Slither must be on $PATH (pip install slither-analyzer).
npx aedsc scan contracts/Vault.sol
● AEDSC · solidity security scanner
──────────────────────────────────────────────
✔ scan complete
3 findings · HIGH 1 MED 1 LOW 1 INFO 0
HIGH reentrancy-eth Vault.sol:47–53 (high conf)
External call before state update in withdraw().
Attacker can re-enter withdraw() and drain the contract.
MED unchecked-transfer Vault.sol:73 (medium conf)
…Full merged scan (free, async)
One command uploads the contract and emails you the full Slither + Mythril + Aderyn merged report within 24h.
npx aedsc upload contracts/Vault.sol \
--email me@dev.com \
--public
✓ submitted
✓ scan #abc123
report email: me@dev.com · ETA: 24h max
public archive: https://aedsc.xyz/scans/abc123/CI integration
Drop in GitHub Actions / GitLab / any CI. JSON output for piping.
- run: pip install slither-analyzer
- run: npx aedsc scan . --json > slither-report.jsonCommands
aedsc scan <path>
Local Slither scan, formatted output
aedsc upload <file>
Free async merged scan via the backend
aedsc init
Check Slither/Mythril/Aderyn install
aedsc --version
Print version
Want more than the CLI?
The CLI runs Slither locally — useful, but Slither alone misses symbolic exec paths and the gas-opt corpus. The full AEDSC stack adds Mythril, Aderyn, a plain-English rewrite, and ready-to-merge fix diffs. Free per scan, Founder Pro €29/mo for unlimited.