Programming Languages

  Solidity
  Cairo
  Go
  JavaScript
  Python
  HTML
  CSS

Tools & Frameworks

  Foundry
  Hardhat
  Ethers.js
  Node.js
  IPFS
  Git
  Netlify
  Postman
  The Graph
  Mongo DB
  GitHub Actions

Testing

  Mythril
  Slither
  Forge

Formal Verification & Monitoring

  Certora Prover
  Tenderly