Search

Python SDK and standalone statistics engine for Conformal Logit Inference (CLI) — conformal prediction, Venn-Abers calibration, and e-values for LLM decisions.

Grounded text extraction you can check: verifiable quotation grounding for LLM extraction pipelines, with declarative normalization ladders, repair-and-reject cascades, and calibrated acceptance thresholds.

Verifiable training: commit, challenge, replay.

Official Vainona SDK. Coming soon: https://vainona.ai

Small open-weights language models for symbolic music (placeholder release, work in progress).

终端里直接使用智谱 GLM 与 DeepSeek 模型的零依赖命令行客户端（含 glm-cli 与 deepseek-cli 两个命令）

Boruna: a deterministic, capability-safe programming language and framework for LLM-native applications