Development Tools

  • Web3-Gear - Proxy Thor’s RESTful API to Eth JSON-RPC, to support Remix, Truffle and more.
  • Inspector - Deploy and execute contract, analyse ABI.
  • Remix-IDE - Browser-Only Solidity IDE and Runtime Environment.
  • solidity-docgen - Documentation generator for Solidity projects.
  • solium - Linter to identify and fix style & security issues in Solidity smart contracts.
  • Solidity-coverage - Code coverage for Solidity testing.
  • Solgraph - Generates a DOT graph that visualizes function control flow of a Solidity contract and highlights potential security vulnerabilities.
  • solc-js - JavaScript bindings for the Solidity compiler.

Security Tools

  • Oyente - Analyze Ethereum code to find common vulnerabilities.
  • SmartCheck - SmartCheck automatically checks Smart Contracts for vulnerabilities and bad practices.
  • Manticore - Manticore is a symbolic execution tool for analysis of smart contracts and binaries.


  • thor-builtins - VeChainThor builtin contracts and examples.
  • VIPs - VeChainThor Improvement Proposals.
  • Truffle - Development environment, testing framework and asset pipeline for Ethereum.
  • truffle-assertions - Adds additional assertions and utilities used in testing smart contracts with truffle.
  • OpenZeppelin - Framework to build secure smart contracts.