Skip to main content

​
brikc build

brikc build <file.pcd> -o <output>
brikc build --target wasm32 hello.pcd

​
brikc run

brikc run <file.pcd> [-- <args...>]

​
brikc check

brikc check <file.pcd>
# ✓ Circuit closed: Φ_c = 1.000

​
brikc fmt

brikc fmt <file.pcd>           # Format in place
brikc fmt --check <file.pcd>   # Check only

​
brikc emit

brikc emit --rust <file.pcd> -o output.rs
brikc emit --js <file.pcd> -o output.js
brikc emit --python <file.pcd> -o output.py

​
brikc repl

brikc repl
# brik> let x = MC_00.ADD8(10, 20);
# brik> MC_40.WRITE(x);
# 30

​
brikc compile

brikc compile --input <file.pcd> --target <rust|javascript|typescript|python|c|cpp|go|cobol|php|java|swift|wasm|native> --output <file>
Main compilation command. Compiles a PCD source file to the specified target language.

​
brikc catalog list

brikc catalog list
List all 128 monomers (64 Core + 64 Extended) with their MC codes, names, and families.

​
brikc catalog show

brikc catalog show MC_XX
Show detailed information for a specific monomer: signature, domain, return type, and Coq proof status.

​
brikc check

brikc check <file.pcd>
# ✓ Circuit closed: Φ_c = 1.000
Type-check a PCD file without running it. Reports CMF metrics and any type errors.

​
brikc lsp

brikc lsp --stdio
Supports: syntax highlighting, diagnostics, hover docs, go-to-definition, completion.

​
brikc lift

brikc lift <file>
brikc lift app.js --output app.pcd
brikc lift script.py --format json --min-liftability 0.5
brikc lift main.c --language c --domains
Reverse-compile source code to PCD. Auto-detects language from file extension. Supports 10 languages: JavaScript, TypeScript, TSX, JSX, Python, Rust, C, C++, Go, COBOL, PHP, Java.
FlagDescription
--language <lang>Override language detection
--output <file>Write to file instead of stdout
--format <fmt>text (default) or json
--min-liftability <0.0-1.0>Minimum liftability threshold
--domainsInclude closure domain annotations
See Lifter Usage for full documentation.

​
brikc mcp-server

brikc mcp-server
brikc mcp-server --transport sse --port 3100
Start the BRIK-64 MCP server for integration with AI coding tools (Claude Code, Cursor, Windsurf). Exposes brik64.discover and brik64.execute tools. See MCP Integration for configuration guides.

​
brikc (no arguments)

brikc
Running brikc without arguments displays an interactive banner with version info, self-compilation hash, and available commands.

​
brikc transpile

Convert an entire directory of source code from one language to another with certification. 
brikc transpile <input-dir> --to <target> [--output <dir>] [--from <lang>] [--force] [--certify]
Arguments:
  • <input-dir> — Directory containing source files
  • --to <target> — Target language (rust, js, python, c, cpp, go, cobol, php, java, typescript, swift, bir, native, wasm32)
  • --output <dir> — Output directory (default: ./transpiled)
  • --from <lang> — Source language override (auto-detected from extensions)
  • --force — Ignore cache, re-transpile all files
  • --certify — Run Φ_c certification (default: true)
Example: 
brikc transpile ./src/ --to rust --output ./dist/
Link multiple PCD files into a single output. 
brikc link <input-dir> -o <output> [--bundle] [-t <target>]
Arguments:
  • <input-dir> — Directory containing .pcd files
  • -o <output> — Output file path
  • --bundle — Generate a single bundled file in the target language
  • -t <target> — Target language (required with —bundle)
Example: 
# Concatenate PCDs
brikc link ./pcd/ -o linked.pcd

# Bundle to single JS file
brikc link ./pcd/ --bundle -t js -o bundle.js

​
brikc lift (directory mode)

Lift all source files in a directory to PCD blueprints. 
brikc lift <directory> -o <output-dir>
When the input is a directory (not a file), brikc scans for all supported source files and lifts each one. Example: 
brikc lift ./src/ -o ./pcd/