AI Agent Skills

https://docs.chain.link The Chainlink developer documentation website for Smart Contract Devs and Node Operators

Solidity, the Smart Contract Programming Language

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

attempting to detect smart glasses nearby and warn you

Polkadot's ink! to write smart contracts.

Xiaomi Smart Home Device Reverse Engineering and Hacking

Alias is a teachable “parasite” that is designed to give users more control over their smart assistants, both when it comes to customisation and privacy. Through a simpl…

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

The Daml smart contract language

This project upgrades a Gaggia espresso machine with smart controls to improve your coffee-making experience. By adding a display and custom electronics, you can monitor…

⚡ Tact compiler for TON blockchain—build secure, efficient smart contracts with powerful tooling and seamless integration

IoT Inspector: capturing and analyzing your smart home network traffic

TS SDK for creating and managing Stellar smart wallets

Performant and Confidentiality-Preserving Smart Contracts + Blockchains

Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar