Midnight Compact (Smart Contracts)

Trust Score 91/100

Write, test, and deploy Compact zero-knowledge smart contracts for the Midnight blockchain, with guidance on privacy, witnesses, and testing.

triggers:midnightcompactsmart contractzero-knowledgewitnessdisclosecircuitshielded

GitHub SKILL.md

What it does

Provides step-by-step guidance for authoring, testing, auditing, and deploying Compact language smart contracts on the Midnight blockchain. Covers privacy-by-default patterns, ledger vs private state, witness implementation, circuit design, testing strategies, and deployment workflows including proof-server integration.

When to use it

Use this skill when building privacy-preserving on-chain logic with Compact: creating shielded tokens, commit-reveal games, sealed-bid auctions, or any ZK circuit-backed contract. Also use it when auditing Compact contracts or designing witness/test suites.

What's included

Scripts: None bundled in the repo (has_scripts=false)
References: Extensive inline references and example list links inside the SKILL.md (has_references=false but many external example links present)
Instructions: Includes a practical decision tree for contract design, compact language syntax, witness patterns (TypeScript implementations), testing checklist (simulator → testnet), circuit complexity guidance, DUST fee economics, and CLI workflows for compile/test/deploy.

Compatible agents

Inferred compatible agents: Claude Code (instruction-style code generation), developer-focused assistants that can author TypeScript and Compact samples.

Audit Summary

Comprehensive skill for writing, testing, and deploying Compact zero-knowledge smart contracts on the Midnight blockchain. No bundled scripts to test. SKILL.md is exceptionally detailed with syntax references, a clear decision tree for contract development and auditing, and progressive disclosure via references/ and examples/ links. Clean from a security perspective — no suspicious commands, credentials, or network calls.

Watch Out

Niche domain — only useful for Midnight/Compact developers
References many external docs (reference/*.md) not included in the skill body

Notes

Well-structured skill with clear frontmatter, good progressive disclosure, and comprehensive content. 29 validated examples cited. References OpenZeppelin Compact contracts and community tools. No scripts bundled; purely instructional. Security is strong — no shell commands, no network calls, no credentials.

Information

Repository: midnight-skill
Stars: 10
Installs: 0

Trust Score

Overall91

Security95

Code Quality85

Architecture88

Usefulness65

Related Skills

AWP (Agent Work Protocol)

Tooling and scripts for onboarding, staking, allocation, and managing agents on the AWP network (Base/Ethereum/Arbitrum/BSC). Includes safe, opt-in daemon and r

Monad Development

Practical developer skill for deploying and verifying smart contracts, configuring Foundry projects, and integrating frontends (viem/wagmi) on the Monad blockch

Starlark Dev

Create, debug, and test Kurtosis Starlark packages — write package structure, run dry-runs, and inspect plan execution for reliable orchestration.

Run Execute

Orchestrates execution of work items across modes (autopilot, confirm, validate) with scripted init/complete tooling, plan/test/report artifacts and strict gati

Sandbox0 Integration

Guidance and templates for integrating Sandbox0 sandboxing into AI agents — CLI/SDK patterns, templates, volumes, network policy, and deployment choices.

Stellar iOS & Mac SDK

Native Swift SDK and guidance for building Stellar blockchain apps on iOS/macOS: transaction building, signing, Horizon queries, Soroban RPC, XDR handling, and

Alpha Forge Pre-Ship Quality Gates

Pre-merge quality gates for PRs that validate RNG determinism, forked URLs, runtime parameter ranges, and manifest synchronization to reduce review cycles.

OpenTestAI

Automated, high-confidence AI testing: bug detection, persona feedback, and prioritized test-case generation using many specialized tester profiles.

Back to Skills