Repository for skills to assist AI coding agents with .NET and C#

Skills for Crypto

A curated list of awesome smart contract datasets

⚠️ The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

Agent2Agent (A2A) – awesome A2A agents, tools, servers & clients, all in one place.

Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.

企业级区块链实战教程

Hydro - Next generation high performance online-judge platform - 新一代高效强大的信息学在线测评系统 (a.k.a. vj5)

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…

💫 Toolkit to help you get started with Spec-Driven Development

A fully functional blockchain application implemented in Python from scratch (with tutorial).

Universal Resolver implementation and drivers.

Requirements Engineering Skills for Claude Code, Cowork, Codex, and AI agents.

A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

A binary lifter and analysis framework for Ethereum smart contracts

Static program analysis framework for Ethereum smart contract bytecode.

BERT4ETH: A Pre-trained Transformer for Ethereum Fraud Detection (WWW23)

基于neo4j肝病知识图谱的问答系统

Zellic's audits, publications, and reports

📚中文突发事件语料库（Chinese Emergency Corpus）-上海大学-语义智能实验室

Tiny theorem prover with syntax like Lean 4 in <1K LOC

《开源大模型食用指南》针对中国宝宝量身打造的基于Linux环境快速微调（全参数/Lora）、部署国内外开源大模型（LLM）/多模态大模型（MLLM）教程

📚 从零开始构建大模型

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.