OML 1.0 via Fingerprinting: Open, Monetizable, and Loyal AI

Standalone Aionis Lite: local single-user runtime, SQLite-backed memory, replay, and playbook-driven automation for coding agents.

AI-powered crypto trading signals verified in OpenGradient TEE. 6 technical indicators + LLM macro-risk verdict + ONNX volatility forecast. Next.js 16 · React 19 · TypeScript · Tailwind CSS 4 · Binance API · onnxruntime

AI-powered GitHub repo security analysis, verified on-chain via OpenGradient TEE

This unified document integrates glyph specification, dictionary, error taxonomy, canonical taxonomy, grammar, resonance matrix, security/custody, and operational runbooks into one continuous, human-centric format.

Minimal external demo for verifiable agent execution evidence and bounded receipts.

Canonical monorepo for the Aethelred protocol, security baselines, and public release provenance.

Rust implementation for verifying LLM output integrity using GPU-accelerated zkVM proofs.

A high-performance Go library for validating GPU-scale ZK proofs within verifiable compute pipelines for AI inference.

Rust implementation of a compute worker that provides ZK-proofs for LLM inference results.

Verifiable cryptographic identity for AI agents. Open standard, chain-agnostic, no token. ERC draft.

Korzent is a minimal execution governance standard for verifiable AI and automated systems.

Cysic Testnet — Automation tool for Cysic ZK hardware acceleration network testnet with node management, validator setup, proof generation monitoring, reward tracking, and Rich terminal interface for zero-knowledge proof infrastructure participation

Third WEB project for yandex-lyceum

Verifiable autonomous vehicle perception using zk-SNARKs (Groth16) with cryptographic integrity and privacy guarantees.

The still point of the turning model.