CLI Commands

ProofKit now focuses on project bootstrap, diagnostics, and agent-facing entrypoints. Package-native CLIs such as @proofkit/typegen and fmodata own their own workflows.

Basic Commands

Initialize a New Project

Create a new ProofKit project:

npm run proofkit init

pnpm proofkit init

yarn proofkit init

bun proofkit init

Inspect a Project

Inspect project health and get exact next steps:

npm run proofkit doctor

pnpm proofkit doctor

yarn proofkit doctor

bun proofkit doctor

Agent Entry Point

Reserve a stable AI-agent workflow entrypoint:

npm run proofkit prompt

pnpm proofkit prompt

yarn proofkit prompt

bun proofkit prompt

This command is currently a placeholder and will later output agent-ready prompts that match the current project state.

Maintenance Commands

Package-native Tools

For ongoing project work, prefer package-native CLIs:

• npx @proofkit/typegen
• npx @proofkit/typegen ui
• fmodata ...