> For the complete documentation index, see [llms.txt](https://docs.nomadic-labs.com/nomadic-labs-knowledge-center/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.nomadic-labs.com/nomadic-labs-knowledge-center/tools/recommended-tools.md). # Recommended tooling ## Official repositories * * * ## Official documentation * * * ## Setting up dependencies ## Running a node Using Docker and Flextesa: Using sources: ## Running a baker Plug and play tools: * Bake Buddy: * Kiln: ## Interacting with Tezos nodes ### CLI Using `tezos-client` from sources: Using `tezos-client` from packages: Using `tezos-client` from binaries: ### Libraries * **Taquito - TypeScript library suite** * **TzStats - indexer and API** * **TzKT - indexer and API** * **Conseil - indexer and API** * **ConseilJS - library for building apps in TypeScript and JavaScript** * **ConseilPy - Python toolkit for Conseil indexer and API** * **Morley - Developer tools for Michelson** * **TezosKit - Swift SDK for iOS, macOS, and iPadOS** * **KotlinTezos - Android/Kotlin toolbox** * **PyTezos - Python SDK** * **Sotez - JavaScript library** * **Magic - passwordless wallet connector for apps** * **Beacon - wallet connector for apps** * **TezBridge - wallet connector for apps** * **Go Tezos- Go library** * **TezosJ - Android Java SDK** * **TezosJ Plain Java - Java SDK** * **Netezos - .Net Standard 2.0 library** ## Writing and building smart contracts * **Python** | * **Pascal, OCaml, ReasonML** | * **Haskell** | * **Domain-Specific** | * **Language of Tezos Smart Contracts** | ## Explorers * **TzStats** * **tezblock** * **Arronax** * **TzKT** * **TezTracker** * **TezEdge - Tezos Node Explorer** * **Tezos Notifier Bot (Telegram)** * **Better Call Dev - Smart Contract Explorer** * **SmartPy Contract Explorer** * **Misualizer - Smart Contract Explorer** * **Tezos Hubble Explorer** * **Baking Bad - Delegation Explorer** * **Mininax** * **Blockchair** ## Tools * **SmartPy IDE** : Online editor to write smart contracts in SmartPy. * **Try-Archetype:** : Online editor to write smart contracts in Archetype. * **LIGO IDE** : Online editor to write smart contracts in LIGO. * **sol2ligo Transpiler** : Tool to migrate Solidity smart contracts to LIGO. * **Tplus** : Tool to manage Tezos environments (sandboxes and public nodes). * **Michelson - IntelliJ** : Michelson Plugin for IntelliJ. * **Michelson Emacs Mode** : Michelson Plugin for Emacs. * **Granary** : Tezos Development Toolkit. * **Truffle** : Development environment, testing framework, and asset pipeline. * **Tezster** : Testing tool for Tezos. * **Magic's Testnet Faucet** : A simple faucet for a Tezos Testnet. * **Testnet Faucet** : Faucet for a Tezos testnet. * **Mainnet Faucet** : Faucet for the Tezos Mainnet. * **Testnet Faucet Bot** : Telegram Faucet Bot for Tezos testnets. * **Tezos Giga Node** : Reliable and geographically distributed Tezos public node infrastructure. * **TezosLive** : GraphQL API to the Tezos Node RPC. * **Nautilus Cloud** : A full suite of tools to develop and deploy Tezos applications. * **Tezos Link** : Scalable API access to the Tezos network. ## Education/Training * **Sol2Ligo handbook** : Learn Ligo and write Tezos smart contracts with the interactive tool. Convert your Solidity contracts to Ligo easily. * **Blockmatics SmartPy Developer Course** : Blockmatics’ SmartPy Developer Course teaches the basics of SmartPy and the SmartPy IDE. * **Cryptoverse Wars (SmartPy)** : Cryptoverse Wars is a fun interactive code school developed by BUIDL Labs that teaches developers how to write smart contracts in SmartPy. * **Tezos Academy (LIGO)** : Tezos Academy is a fun interactive tutorial developed by OCTO Technology on how to code smart contracts in LIGO. * **Tezos Training at Nomadic Labs** : After running successfully through all the steps of this training session, you will be able to run a Tezos node (test network/sandboxed), use the Michelson emacs mode, and compile pieces of code in both LIGO and SmartPy. * **TQ Digital Assets Portal** : This documentation aims to help developers streamline the implementation, integration, and use of digital assets on Tezos. * **Getting Started with LIGO** : These tutorials by Claude Barde walk-through how to create smart contracts on the Tezos blockchain using the LIGO language. * **Cryptonomic Developer Portal** : Cryptonomic’s tech stack makes it easy to develop and deploy Tezos applications. * **An Introduction to Michelson** : These tutorials by Claude Barde walk-through how to use the Michelson programming language and write smart contracts on Tezos. * **Michelson Labs** : Series of Jupyter notebooks for learning the Tezos native contract language. * **PyTezos Labs** : Series of Jupyter notebooks for learning Tezos internals with Python. * **CoinList-Tezos Hackathon Workshops** : Online workshops from the development teams of tools such as Truffle, Magic, SmartPy, LIGO, and more. * **Tezos Developer Documentation** : A complete Tezos documentation resource for developers. * **TezEdge Tezos documentation** : A documentation resource by the TezEdge team. * **TQ Tezos Wiki** : A Tezos wiki by the TQ Tezos team. Learn about Tezos basics, proof-of-stake in Tezos, governance, smart contracts, and more. ## Wallets * **Temple Wallet** : Cryptocurrency wallet for the Tezos blockchain as a Web Extension for your Browser. * **Kukaï:** : A software wallet enabling social network authentication. * **Galleon** : A software wallet for Desktop. * **Umami** : A software wallet for Desktop. * **Ledger** : An hardware wallet. ## Helm charts * **tezos-helm-chart** * **tezos-k8s-helm-chart** ## Node monitoring * **tezos-metrics** * **net-dada** * **prometheus** (need net-data and tezos-metrics both installed) * **grafana** (need prometeus installed) ## Formal verification * [**https://gitlab.com/nomadic-labs/mi-cho-coq/blob/master/doc/talk\_15\_10\_2019/talk\_multisig.pdf**](https://gitlab.com/nomadic-labs/mi-cho-coq/blob/master/doc/talk_15_10_2019/talk_multisig.pdf) * [**https://gitlab.com/nomadic-labs/mi-cho-coq/**](https://gitlab.com/nomadic-labs/mi-cho-coq/)