Midnight Compact

Write, test, and deploy Compact smart contracts for Midnight. Use when writing privacy-preserving contracts, ZK circuits, shielded tokens, or any on-chain Midnight code. Triggers on: Midnight, Compact, smart contract, zero-knowledge, ZK, shielded, circuit, witness, ledger, proof server, DUST, NIGHT, disclose, Zswap. Covers Compact language syntax, privacy model, circuit patterns, testing, security best practices, SDK integration, and wallet connectivity.

10 stars 4 forksMarketing, Sales & Business

Install

skills CLI (Claude Code, Cursor, Codex and more)

npx skills add ADAvault/midnight-skill --skill midnight-compact

Manual install

git clone --depth 1 https://github.com/ADAvault/midnight-skill.git /tmp/midnight-skill
mkdir -p ~/.claude/skills
cp -r /tmp/midnight-skill/. ~/.claude/skills/midnight-compact

Personal skills live in ~/.claude/skills. Use .claude/skills in a project folder to share a skill with your team.

From the SKILL.md

# Midnight Compact Smart Contract Development

You are an expert Midnight smart contract developer. Compact is a TypeScript-like
domain-specific language that compiles to zero-knowledge circuits, enabling
privacy-preserving computation on the Midnight blockchain.

## Core Principles

1. **Privacy by default** — all computation is private unless explicitly disclosed with `disclose()`.
2. **Dual-state model** — contracts have public ledger state (on-chain) and private state (off-chain, per-user).
3. **Circuits, not functions** — exported `circuit` declarations compile to ZK proofs. There are no `function` keywords.
4. **Witnesses bridge private data** — `witness` declarations in Compact are implemented in TypeScript, providing off-chain private inputs.
5. **Correctness is enforced** — all circuit computation is verified by ZK proofs. Only witness code runs unverified.
6. **Test everything** — use the Compact simulator first, then standalone network, then testnet.

## Decision Tree

When asked to write a smart contract:

1. **Specify the contract** — before writing code, define:
   - What state is public vs private?
   - What operations (circuits) does it expose?
   - What invariants must hold? (e.g., "total supply is conserved", "only owner can withdraw")
   - What are the trust boundaries? (what can witnesses lie about?)
   - What are the failure modes?
2. **Identify the privacy requirements**: what must be shielded vs public?

Read the full skill on GitHub

Details

Skill name: midnight-compact
Repository: ADAvault/midnight-skill
License: MIT
Repo updated: 23 September 2026

FAQ

What does the Midnight Compact skill do?

How do I install the Midnight Compact skill?

skills CLI (Claude Code, Cursor, Codex and more): npx skills add ADAvault/midnight-skill --skill midnight-compact. Skills go in ~/.claude/skills (personal) or .claude/skills (project), and Claude loads them automatically when a task matches the description.

Is Midnight Compact popular?

It lives in ADAvault/midnight-skill, which has 10 GitHub stars and 4 forks.

Related skills

Yi Shi Wei Jian

GreatXiaoRY/LearnFromHistory-skill

Use when the user says 请用/使用/调用以史为鉴 skill, yi-shi-wei-jian, 借古鉴今, 历史类比, 中国历史案例, or 沙盘推演. Also use for realistic decision questions even when history is not mentioned: 判断当前是什么局、破局/布局, organization/business/team strategy, reform blocked, internal conflict, weak-vs-strong competition, unstable alliance/cooperation trust risk, control-right disputes, leadership/personnel replacement, attack-or-defense timing, and adding sourced historical cases. Output 【局面判断】【历史参照】【关键变量】【可选路径】【沙盘推演】【借鉴原则】【边界提醒】.

Marketing, Sales & Business

Gingiris Aso Growth

Gingiris/gingiris-aso-growth

🇺🇸 ASO & Mobile App Growth Playbook 2026 — Complete App Store Optimization guide. ASO keyword ranking, App Store & Google Play listing optimization, app cold start, UGC creator operations, TikTok/Instagram/YouTube Shorts marketing, AI-matrix content scaling, mobile user acquisition. 🇨🇳 ASO 增长与 App 冷启动权威指南 — 从应用商店优化到 UGC 运营、多平台内容策略、AI 矩阵号的完整实操手册。 🇯🇵 ASO＆アプリコールドスタート成長ガイド — App Store最適化からUGC運営、マルチプラットフォーム戦略、AIマトリックスまで。 🇰🇷 ASO 및 앱 콜드 스타트 성장 플레이북 — 앱스토어 최적화부터 UGC 운영, 멀티플랫폼 전략, AI 매트릭스까지. Triggers: "ASO" | "App Store Optimization" | "ASO keywords" | "App Store ranking" | "Google Play optimiz

Marketing, Sales & Business

Market Mirror

DarkWorldCoder/market-mirror

Analyze real ad data, research markets, survey simulated buyers, and test campaigns, pricing, sales pitches, and product journeys through MarketMirror MCP tools or the local CLI.

Marketing, Sales & BusinessIn 1 list

Career Growth Plan

Olandooooes/career-growth-plan

Career Growth Companion / 职场大神养成计划. Organize everyday work into truthful accomplishments for people who do strong work but struggle to explain their contribution. Adapt the material to weekly updates, work summaries, performance reviews, promotion, resumes, or interviews. Also supports career discovery, workplace conversations, reflection, and growth. Use for 'start my career adventure', 'what is my work turning me into?', '开启职场大神养成计划', '测测我的职场角色', '今天上班好烦', '把我的工作说得高级一点', '帮我包装日常工作', '整理KPI考核结果', KPI self-assessments, and workplace conversation rehearsal, and career reflection, review, promot

Marketing, Sales & Business

Marketing Strategist

ai-hub-open/marketing-strategist

Готовит маркетинговую стратегию до запуска рекламы: бриф, отрасль, конкуренты, гипотезы, персоны, УТП, выбор каналов, бюджет, KPI. Триггеры: маркетинговая стратегия, медиаплан, какие каналы выбрать.

Marketing, Sales & Business

Entity SEO

saadsalmankhan/entity-seo-skill

Entity SEO for a person or brand. Maps every entity (person, brand, legal company, each product and service, ideas and slogans), writes down why each relationship exists, then reinforces those relationships everywhere (a multi-entity JSON-LD graph, entity pages, titles, profiles, articles, images, video) so search engines and AI assistants learn who built what and who works where. Split into actions (map, audit, site, reinforce, content, measure, report) sharing one entities.yaml; with no argument it picks the next step. Includes on-site SEO, GEO, AEO, local SEO, off-site authority, free Searc

Marketing, Sales & Business

Browse the most popular Claude skills, all marketing, sales & business skills, or write your own with the skills generator.