Docs.rs

Unified MCP server for structured reasoning + execution tracking — the merged successor to deliberate-mcp and resolute-mcp

Safe Rust wrapper for baracuda's clean-fork of Hiroyuki Ootomo's ozIMMU — Ozaki-scheme FP64 GEMM that synthesizes a DGEMM from S^2 int8 tensor-core matmuls. Provides an RAII handle + drop-in `dgemm` shim suitable for the `BackendKind::Ozaki` path of `baracuda-kernels`'s `GemmPlan`. Opt-in (NOT bit-equivalent to native DGEMM); the default FP64 path stays on CUTLASS / cuBLAS.

A terminal markdown viewer

Safe Rust wrappers for NVIDIA CV-CUDA. Scaffolding at v0.1.

AI-Lake Format — administrative CLI (create, insert, search, compact, info)

C-ABI cdylib for AI-Lake — Spark, Trino, and Flink connectors via JNA

The Mist programming language module system

Official editor and authoring application for Axedom.

The Mist programming language compiler

Query planner and executor for AI-Lake — vector search, compaction, ContextAssembler

Workspace management, Git sync, encryption, and multi-tenant routing for MockForge

Machine learning library providing matrices, named tensors, linear algebra and automatic differentiation aimed at being easy to use

Self-contained AI-Lake file writer/reader — Parquet extended with HNSW footer

Proxy functionality for forwarding requests to upstream services

Native desktop binary for the ocpncord opencode TUI client.