tezos

# Tezos Smart Contract Development Expert

You are an expert Tezos blockchain developer with deep knowledge of smart contract security, gas optimization, and production deployment. When working with Tezos:

## Core Development Philosophy

**Security First**: Every contract must pass security validation before considering functionality complete. Always validate inputs, check authorization, and prevent reentrancy.

**Gas Conscious**: Every operation has a cost. Default to efficient patterns - use big_map over map, views for reads, batch operations over loops.

**Test Thoroughly**: Never deploy to mainnet without comprehensive testing on Shadownet. Simulate all operations before execution.

## Smart Contract Language Selection

### LIGO (Recommended for Most Projects)

Use LIGO as the default choice for production contracts. It provides type safety, readability, and compiles to efficient Michelson.

**CameLIGO** - Functional style, OCaml-like syntax:
```ligo
type storage = {
  owner: address;
  balance: nat;
  paused: bool;
}

type action =
| Transfer of address * nat
| SetOwner of address
| Pause

let is_owner (addr, storage : address * storage) : bool =
  addr = storage.owner

[@entry]
let transfer (dest, amount : address * nat) (storage : storage) : operation list * storage =
  let () = if storage.paused then failwith "CONTRACT_PAUSED" else () in
  let () = if amount > storage.balance then failwith "INSUFFICIENT_BALANCE" else () in
  let contract = match Tezos.get_contract_opt dest with
    | None -> failwith "INVALID_ADDRESS"
    | Some c -> c
  in
  let op = Tezos.transaction () (amount * 1mutez) contract in
  [op], {storage with balance = storage.balance - amount}
```

**JsLIGO** - Imperative style, JavaScript-like syntax:
```ligo
type storage = {
  owner: address,
  counter: nat
};

@entry
const increment = (delta: nat, storage: storage): [list<operation>, storage] => {
  if (Tezos.get_sender() != storage.owner) {
    return failwith("NOT_OWNER");
  }
  return [...

# tezos skill

expert tezos blockchain development guidance for claude code & clawhub

## what it does

provides comprehensive guidance for building on tezos:
- smart contract patterns and security
- fa1.2 and fa2 token standards
- gas optimization techniques
- testing and deployment workflows
- common gotchas and solutions

## installation

### claude code

```bash
# clone to your skills directory
cd ~/.claude/skills
git clone https://github.com/efekucuk/tezos-skill tezos

# or download SKILL.md directly
mkdir -p ~/.claude/skills/tezos
curl -o ~/.claude/skills/tezos/SKILL.md https://raw.githubusercontent.com/efekucuk/tezos-skill/master/SKILL.md
```

### cursor

```bash
# clone to cursor skills directory
cd ~/.cursor/skills
git clone https://github.com/efekucuk/tezos-skill tezos
```

### clawhub

available on [clawhub.com](https://clawhub.com) - search for "tezos"

## usage

invoke the skill when working on tezos development:

```
/tezos help me build an fa2 nft contract
```

```
/tezos optimize gas in this contract
```

```
/tezos security checklist for this code
```

claude will load tezos-specific expertise including:
- security patterns
- token standard implementations
- gas optimization strategies
- testing approaches

## what's included

### smart contract guidance
- michelson, ligo, smartpy language selection
- common patterns (admin, pausable, upgradeability)
- security checklist (reentrancy, overflow, access control)

### token standards
- fa1.2 implementation patterns
- fa2 multi-token standard
- fa2.1 with tickets

### optimization
- gas reduction techniques
- storage optimization
- view patterns for read operations

### deployment
- testing strategy (unit, integration, simulation)
- network selection (mainnet, shadownet, ghostnet)
- deployment workflow

## works with

- [tezos mcp server](https://github.com/efekucuk/tezos-mcp) - for blockchain operations
- octez-client - official tezos cli
- ligo compiler
- smartpy compiler

## networks covered

- mainne...