Amarna
Amarna is a static analysis tool and linter for the Cairo programming language.
What is Amarna?
Developed by Crytic, the blockchain arm of Trail Of Bits, Amarna is a static analyzer for Cairo. Used by applications such as dYdX, Cairo is a language used to write "provable programs". Amarna allows developers to search for custom code patterns as well as a built-in set of vulnerability flags and supports the creation of local and global rules for analysis. Notably, Amarna can directly parse StarkNet contracts, and export analysis results to VSCode in the SARIF format.
Web3 dapps and developer tools related to Amarna
Discover blockchain applications that are frequently used with Amarna.
Toolblox
Solvm
Solidity Visual Auditor 
Developer resources from Alchemy
How to develop an NFT viewer (5-Step tutorial)
Learn how to build a dapp to view NFTs of a given wallet address using the Alchemy NFT API.
How to make a Solana wallet: a technical guide
A walkthrough of Solana wallets covering the basics and how to steps on configuring your own basic and smart wallet.
What is Solidity?
An Introduction to Solidity: Web3's Most Popular Programming Language
Amarna alternatives
Explore web3 competitors and apps like Amarna.
Solhint for IntelliJ
Solhint-Prettier Plugin
Rattle