A universal solvent: the Otter theorem-prover loop in TypeScript, with pluggable domains
TypeScript SDK for [Alkahest](https://github.com/arkhai-io/alkahest), a library and ecosystem of contracts for conditional peer-to-peer escrow. Built on [viem](https://viem.sh/).
Alkahest
MCP server for Alkahest documentation
Command-line interface for the Alkahest escrow protocol, wrapping the TypeScript SDK. Designed for LLM agents and shell scripting with JSON output by default.
Test environment setup for Alkahest protocol testing
AI Agent Framework with multi-provider support and real-time broadcasting
Trustless coordination and settlement protocol for autonomous AI agents. Production-grade SDK for the cybernetic economy.
Screen-graph CLI that reverse-engineers a product from code (React/Next static analysis → product map)
Fantastic serialization library with zero-overhead serialization and zero-copy deserialization
High-performance computer algebra kernel: symbolic expressions, polynomials, Gröbner bases, JIT, and Arb ball arithmetic.
Procedural macros for 'alkahest-proc' crate
Rust SDK to Alkahest contracts for decentralized escrow and exchange
Alkahest Core Library
Alkahest Diagnostics
Alkahest Hypervisor
Alkahest Macros
Alkahest Modules
Alkahest Session Management
Lightweight and fast data transfer protocol. Fast de/serialization and tiny size!
A CP437/ASCII terminal library and helpers to make creating roguelike games in Rust easy. Similar to libtcod, but aiming to be Rust-native.