macOS
Use Terminal. Compatible preparation tools for Node-supported Apple silicon and Intel systems.
Download ZIPDOWNLOADS & MCP
Your tools.
Your research.
Browse and use the wallet in your browser. Download local tools only if you want to prepare mathematical research.
What is the research package?
A research package is software for your computer, not a wallet and not a separate coin. The complete submission tools compile Lean proofs, export the supported proof artifact, check candidates locally, protect sealed work, and coordinate submission. They help keep private proofs and wallet signing on your computer.
The small kit below is a starting point: it reads the fixed problem and public proof references, checks your preparation prerequisites, creates a pinned research source workspace on request, and provides a local MCP connection. It does not yet include the complete proof-to-token runtime or enable public submissions.
RESEARCH PREPARATION KIT · VERSION 0.1.0
One portable kit. Three platforms.
Requires Node.js 22.12 or later. Git is needed only to download a research source workspace. The bundled tools require no account, wallet, model API key, or npm installation.
Linux
Use your terminal. The same preparation tools are provided as a compressed archive.
Download tar.gzWindows
Use PowerShell or Command Prompt with Node.js. No execution-policy change is needed.
Download ZIPThese are portable preparation tools. The complete proof-submission runtime has been tested on macOS ARM64; full Linux and Windows proof-to-token execution remains unvalidated. The separate full runtime is about 3.3 GB compressed and has not been released here. Public research entry is not open.
Archive checksums and file manifest · JSON
Verify your download
Compare the archive’s SHA-256 with this release record before running it.
clary-research-preview-0.1.0.zip
d4bfdeca951ec38b08b5f41ac9a89c7245ccd9125424a2c66001ca5041e1adbb
clary-research-preview-0.1.0.tar.gz
bdb00dd9020f6a8483f34a76a9bd22c88e9ef8a9c8c32f279e6dd6ef9424afc4
Start with a preparation check.
node clary.mjs doctorThe check does not download or execute Lean, use AI credits, access a wallet, or send a transaction. The included README explains how to create a pinned source workspace and connect local MCP tools.
CONNECT YOUR AI
Clary research context, inside ChatGPT.
The public MCP connection lets a compatible AI read the exact DFT objective, browse reviewed Lean proof links, and check round information. Add this server URL in ChatGPT’s custom MCP connection:
https://clarycoin.com/mcpChoose No authentication for this public, read-only connection. It has no access to your wallet or local files. To compile a proof or run the full research worker, you still need local research tools; connecting the public server does not start paid AI use or submit transactions.
OpenAI’s connection instructions ↗
A local MCP connection is also included.
For a client that supports local stdio MCP, launch the downloaded file with:
node /path/to/clary.mjs mcpUse the file’s full path on your own computer. The preparation kit exposes public research and readiness tools. The separately controlled automatic submission runtime is a later release; wallet signing is not granted by this connection.