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.

AI agent skills

Skills for bounded agent work.

BRIK64 skills keep agent work focused on PCD, proof state, and evidence-bearing handoff.

PCD authoring

Turn generated or existing logic into a reviewable blueprint.

Read evidence hashes and review posture before publishing claims.

Separate bounded logic from framework code and I/O edges.