Core

Overview

What BRIK64 is, why the formal layer matters, and how the system reads like hardware.

Workflow

Lift, model, check, emit, publish as one visible chain.

Platform

Publication, discovery, review state, governance, and reuse.

Tooling

CLI

Install path, commands, and the verification entry point.

PCD

Canonical format, domains, operators, and closure.

MCP

Agent endpoint, tool contract, and bounded operation surface.

AI Agent Skills

PCD authoring, proof checks, logic extraction, and monomer tools for agents.

Developer Stack

Registry, SDKs, Lifter, and Transpiler in one toolchain surface.

Software license

Software License Agreement

Name: BRIK64
Author: BRIK64 Inc.

Baseline license terms for BRIK64 software, beta platform access, CLI, SDKs, examples, and downloads.

Limited license

Subject to these terms and any applicable repository license, BRIK64 grants authorized users a limited, revocable, non-exclusive, non-transferable license to use BRIK64 software and materials for evaluation or approved use.

Restrictions

Do not sublicense, sell, rent, lease, host, resell, bypass access controls, remove notices, misuse secrets, attack systems, or use BRIK64 materials to claim unsupported certification, compliance, or production suitability.

Open-source components

Open-source components are governed by their own license files. This page does not replace repository-specific licenses or signed enterprise terms.

No warranty

Unless a separate written agreement says otherwise, BRIK64 software and materials are provided as-is and as-available to the fullest extent permitted by law.