Skip to main content

Midnight Expert

Midnight Expert is the flagship catalog from the Midnight Foundation: a collection of AI plugins for building, testing, and verifying Compact smart contracts on Midnight — privacy patterns, formal verification, devnet tooling, and more, available across every harness Tome supports.

Install​

tome catalog add devrelaicom/midnight-expert-tome
tome plugin enable midnight-expert

The first command clones and indexes the catalog; the second enables it so its skills, commands, agents, and hooks become available to your harnesses and to search.

What you get​

The catalog bundles plugins covering the Compact development lifecycle, including:

  • Compact language and standard-library guidance
  • Privacy and disclosure patterns
  • Formal verification and code review
  • dApp and SDK development
  • Local devnet and tooling

Once enabled, point a harness at it:

tome harness use claude-code

and search for what you need:

tome query "verify a Compact contract"

See Quickstart for the full flow and Search for how retrieval works.