Search

Lightweight diagnostic linter for LLM extractions (catches dropped braces, markdown leaks, and hallucinations).

SDK for Smart Contract Auditing

Opt-in vLLM scheduling-context export for TraceLoom AugDB

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