Algorand MCP

# Supported AVM Features ## ARCS | ARC | Name | Description | | --- | --- | --- | | 4 | Application Binary Interface (ABI) | ABI method routing is automatically down for public methods. All ABI types are natively supported. Compiler outputs ARC4 JSON | | 22 | Add `read-only` annotation to ABI methods | Decorating a method with `@abi.readonly` will mark it as readonly | | 28 | Algorand Event Log Spec | Use `EventLogger` to log ARC28 events | | 32 | Application Specification | Compiler generates an arc32 JSON file | ## ABI Types | ABI Type | TEALScript | | --- | --- | | `address` | `Address` | | `uintN` | `uint64`, `uint32`, `uint16`, `uint8`, `uint128`, `uint256`, or `uint<N>`. `AssetID` and `AppID` are encoded as `uint64` | | `bool` | `boolean` | | `ufixedNxM` | `ufixed<N, M>` | | `T[]` | `T[]` | | `T[N]` | `StaticArray<T, N>`. `bytes32`, `bytes64`, or `bytes<N> for static byte arrays` | | `[T1, T2, ..., TN]` | `[T1, T2, ..., TN]` or `{keyone: T1, keytwo: T2, ..., keyN: TN}` | | `string` | `string` | | `application` | `AppReference` | | `asset` | `AssetReference` | | `account` | `AccountReference` | | `txn` | `Txn` | | `pay` | `PayTxn` | | `keyreg` | `KeyRegTxn` | | `acfg` | `AssetConfigTxn` | | `axfer` | `AssetTransferTxn` | | `afrz` | `AssetFreezeTxn` | ## Opcodes ### Flow Control | Opcode | TEALScript | | --- | --- | | `err` | `throw Error()` | | `bnz` | Used automatically in loops and conditionals | | `bz` | Used automatically in loops and conditionals | | `b` | Used automatically in loops and conditionals | | `return` | Used when the top-level function returns | | `assert` | `assert` | | `bury` | Stack manipulation is not officially supported | | `popn` | Stack manipulation is not officially supported | | `dupn` | Stack manipulation is not officially supported | | `pop` | Stack manipulation is not officially supported | | `dup` | Stack manipulation is not officially supported | | `dup2` | Stack manipulation is not officially supported | | `dig` | Stack manipulation is not officially supported | | `swap` | Stack manipulation is not officially supported | | `select` | Not officially supported yet, but could be used to optimize conditionals in the future | | `cover` | Stack manipulation is not officially supported | | `uncover` | Stack manipulation is not officially supported | | `callsub` | Used when calling a function | | `retsub` | `return` | | `proto` | Used automatically in functions | | `frame_dig` | Used automatically in functions | | `frame_bury` | Used automatically in functions | | `switch` | Not officially supported yet, but could be used to optimize conditionals in the future | | `match` | Not officially supported yet, but could be used to optimize conditionals in the future | ### Cryptography | Opcode | TEALScript | | --- | --- | | `sha256` | `sha256` | | `keccak256` | `keccak256` | | `sha512_256` | `sha512_256` | | `ed25519verify` | `ed25519Verify` | | `ecdsa_verify` | `ecdsaVerify` | | `ecdsa_pk_decompress` | `ecdsaPkDecompress` | | `ecdsa_pk_recover` | `ecdsaPkRecover` | | `ed25519verify_bare` | `ed25519VerifyBare` | | `sha3_256` | `sha3_256` | | `vrf_verify` | `vrfVerify` | | `ec_add` | `ecAdd` | | `ec_scalar_mul` | `ecScalarMul` | | `ec_pairing_check` | `ecPairingCheck` | | `ec_multi_scalar_mul` | `ecMultiScalarMul` | | `ec_subgroup_check` | `ecSubgroupCheck` | | `ec_map_to` | `ecMapTo` | ### Arithmetic | Opcode | TEALScript | | --- | --- | | `+` | Natively supported | | `-` | Natively supported | | `/` | Natively supported | | `*` | Natively supported | | `<` | Natively supported | | `>` | Natively supported | | `<=` | Natively supported | | `>=` | Natively supported | | `&&` | Natively supported | | `\|\|` | Natively supported | | `==` | Natively supported | | `!=` | Natively supported | | `!` | Natively supported | | `itob` | Natively supported | | `btoi` | Natively supported | | `%` | Natively supported | | `\|` | Natively supported | | `&` | Natively supported | | `^` | Natively supported | | `~` | Natively supported | | `mulw` | `mulw` | | `addw` | `addw` | | `divmodw` | `divmodw` | | `shl` | `<<` | | `shr` | `>>` | | `sqrt` | Natively supported | | `bitlen` | `bitlen` | | `exp` | `**` | | `expw` | `expw` | | `divw` | `divw` | ### Byte Array Manipulation | Opcode | TEALScript | | --- | --- | | `len` | `.length` on bytes | | `concat` | `concat` or `+` | | `substring` | `String.substring` or `substring` | | `substring3` | `String.substring` or `substring` | | `getbit` | `getbit` | | `setbit` | `setbit` | | `getbyte` | `getbyte` | | `setbyte` | `setbyte` | | `extract` | `extract3` | | `extract3` | `extract3` | | `extract_uint16` | `extractUint16` | | `extract_uint32` | `extractUint32` | | `extract_uint64` | `extractUint64` | | `replace2` | `replace3` | | `replace3` | `replace3` | | `base64_decode` | `base64Decode` | | `json_ref` | `jsonRef` | ### Loading Values | Opcode | TEALScript | | --- | --- | | `intcblock` | Constant block not officially supported | | `intc` | Constant block not officially supported | | `intc_0` | Constant block not officially supported | | `intc_1` | Constant block not officially supported | | `intc_2` | Constant block not officially supported | | `intc_3` | Constant block not officially supported | | `bytecblock` | Constant block not officially supported | | `bytec` | Constant block not officially supported | | `bytec_0` | Constant block not officially supported | | `bytec_1` | Constant block not officially supported | | `bytec_2` | Constant block not officially supported | | `bytec_3` | Constant block not officially supported | | `arg` | `LogicSig.logic` arguments | | `arg_0` | `LogicSig.logic` arguments | | `arg_1` | `LogicSig.logic` arguments | | `arg_2` | `LogicSig.logic` arguments | | `arg_3` | `LogicSig.logic` arguments | | `txn` | `this.txn` | | `global` | `globals` | | `gtxn` | `this.txnGroup` or transaction argument | | `load` | `ScratchSlot` | | `store` | `ScratchSlot` | | `txna` | `this.txn` | | `gtxna` | `this.txnGroup` or transaction argument | | `gtxns` | `this.txnGroup` or transaction argument | | `gtxnsa` | `this.txnGroup` or transaction argument | | `gload` | `Txn.load` | | `gloads` | `Txn.load` | | `gaid` | `this.txnGroup` or transaction argument | | `gaids` | `this.txnGroup` or transaction argument | | `loads` | `ScratchSlot` | | `stores` | `ScratchSlot` | | `pushbytes` | Used by `TemplateVar` | | `pushint` | Used by `TemplateVar` | | `pushbytess` | Not used yet, but could be used for optimizations in future | | `pushints` | Not used yet, but could be used for optimizations in future | | `bzero` | `bzero` | | `txnas` | `this.txn` | | `gtxnas` | `this.txnGroup` or transaction argument | | `gtxnsas` | `this.txnGroup` or transaction argument | | `args` | `LogicSig.logic` arguments | | `gloadss` | `Txn.load` | ### State Access | Opcode | TEALScript | | --- | --- | | `balance` | `Address.balance` and `Address.hasBalance` | | `app_opted_in` | `Address.isOptedInToApp()` | | `app_local_get` | Method call on LocalStateKey on `LocalStateMap` | | `app_local_get_ex` | `Application.local()` | | `app_global_get` | Method call on `GlobalStateKey` on `GlobalStateMap` | | `app_global_get_ex` | `Application.global()` | | `app_local_put` | Method call on LocalStateKey on `LocalStateMap` | | `app_global_put` | Method call on `GlobalStateKey` on `GlobalStateMap` | | `app_local_del` | Method call on LocalStateKey on `LocalStateMap` | | `app_global_del` | Method call on `GlobalStateKey` on `GlobalStateMap` | | `asset_holding_get` | `Address.assetBalance` and `Address.hasAsset` | | `asset_params_get` | Method calls on `Asset` | | `app_params_get` | Method calls on `Application` | | `acct_params_get` | Method calls on `Address` | | `min_balance` | `Address.minBalance` | | `log` | `log` or `EventEmitter` | | `block` | `blocks` | ### Byte Array Arithmetic | Opcode | TEALScript | | --- | --- | | `bsqrt` | Natively supported | | `b+` | Natively supported | | `b-` | Natively supported | | `b/` | Natively supported | | `b*` | Natively supported | | `b<` | Natively supported | | `b>` | Natively supported | | `b<=` | Natively supported | | `b>=` | Natively supported | | `b==` | Natively supported | | `b!=` | Natively supported | | `b%` | Natively supported | ### Byte Array Logic | Opcode | TEALScript | | --- | --- | | `b\|` | Natively supported | | `b&` | Natively supported | | `b^` | Natively supported | | `b~` | Natively supported | ### Inner Transactions | Opcode | TEALScript | | --- | --- | | `itxn_begin` | `this.pendingGroup.add...` or `send...` | | `itxn_field` | `this.pendingGroup.add...` or `send...` | | `itxn_submit` | `this.pendingGroup.execute` or `send...` | | `itxn` | `this.itxn` | | `itxna` | `this.itxn` | | `itxn_next` | `this.pendingGroup.add...` | | `gitxn` | `this.lastInnerGroup` | | `gitxna` | `this.lastInnerGroup` | | `itxnas` | `this.itxn` | | `gitxnas` | `this.lastInnerGroup` | ### Box Access | Opcode | TEALScript | | --- | --- | | `box_create` | Method call on `BoxKey` or `BoxMap` | | `box_extract` | Method call on `BoxKey` or `BoxMap` | | `box_replace` | Method call on `BoxKey` or `BoxMap` | | `box_del` | Method call on `BoxKey` or `BoxMap` | | `box_len` | Method call on `BoxKey` or `BoxMap` | | `box_get` | Method call on `BoxKey` or `BoxMap` | | `box_put` | Method call on `BoxKey` or `BoxMap` | | `box_splice` | Method call on `BoxKey` or `BoxMap` | | `box_resize` | Method call on `BoxKey` or `BoxMap` |