AI Agent Skills

学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.

The Pyret language.

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one p…

KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io

Byzer (former MLSQL): A low-code open-source programming language for data pipeline, analytics and AI.

Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signa…

PartiQL libraries and tools in Kotlin.

Reach: The Safest and Smartest DApp Programming Language

Set up a Cairo smart contract project with OpenZeppelin Contracts for Cairo on Starknet. Use when users need to: (1) create a new Scarb/Starknet project, (2) add OpenZep…

Upgrade Cairo smart contracts using OpenZeppelin's UpgradeableComponent on Starknet. Use when users need to: (1) make Cairo contracts upgradeable via replace_class_sysca…

The home of the CUE language! Validate and define text-based and dynamic configuration

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

auto-formatter for modern fortran source code

The Felix Programming Language

A tool that allows you to convert NMAP results to html, csv, json, markdown, graphviz (dot), sqlite, excel and d2-lang. Simply put it's nmap converter.

Control all your tooling from a single console