added cairo coder and starknet contract verifier to tooling overview

Author: LandauRaz

modules/tools/pages/overview.adoc

@@ -30,6 +30,8 @@ The following list is dynamic and continuously updated. If a tool you are using
 
 .Tools for coding in Cairo
 
+* https://www.cairo-coder.com/[Cairo Coder^] is a powerful open-source Cairo code generator that can be plugged directly into your favorite IDE.
+
 * https://marketplace.visualstudio.com/items?itemName=starkware.cairo1[VS Code Cairo extension^] is an extension for the Microsoft Visual Studio (VS) Code IDE that provides assistance when writing Cairo smart contracts, including live diagnostic highlighting for compile errors, quick fixes with suggestions, code formatting and completion, and more.
 
 * https://www.cairo-lang.org/cairovm/[Cairo Playground^] is an online tool that can be used to both experiment with Cairo without deploying a smart contract on Starknet, as well as dive deep into the Cairo virtual machine.
@@ -79,6 +81,8 @@ Cairo Lint comes bundled with Scarb and does not need to be installed separately
 
 * https://sdk.chipipay.com/introduction[Chipi SDK^] is an open-source developer toolkit that enables Starknet applications to create non-custodial wallets using any social login (Google, Apple, Telegram, etc.), sponsor transactions via integration with AVNU's Paymaster, and build with their favourite auth provider with no black boxes.
 
+* https://github.com/NethermindEth/starknet-contract-verifier[Starknet Contract Verifier^] is a client for the Voyager Starknet block explorer that allows verifying your starknet classes.
+
 .Tools for using AI
 
 * https://www.starkagent.ai/[Snak^] is a toolkit for creating AI agents that can interact with the Starknet blockchain, supporting multiple AI providers (including Anthropic, OpenAI, Google Gemini, and Ollama), and available both as an NPM package and a ready-to-use NestJS server with a web interface.