Docs.rs

Affinidi Messaging SDK

graphics at terminal

Find Lean declarations by shape and lift them into a proof

Burn Flex CPU FSMN VAD

Property-based and runtime-gate checker for Lex specs.

Cordis primitives for ARES: context, fiber, effect, and events. Leaf crate with no other ARES dependencies

Core types and tenant models for ARES

WebAssembly bindings for IFC-Lite

Domain-format exporters for ifc-lite (HBJSON, OBJ, glTF/GLB, CSV, JSON, JSON-LD, STEP/IFC, IFC5/IFCX, Merged, Parquet/.bos).

C FFI bindings for ifc-lite — native DLL for in-process IFC parsing

This on-chain Solana program handles SNS domain registrations

Effect handler runtime + capability policy for Lex.

Daum Dictionary API wrapper

HTTP/JSON + MCP server surface for the Lex toolchain.

Shared IFC processing pipeline and types used by server and FFI