JSON Schema Compatibility Checker
Role and Permission management package for the RustBasic Framework.
An in-process authorization engine for Rust with composable policies and request-scoped fact loading.
Async HTTP client for Anthropic-to-OpenAI translation with retry, SSRF protection, and SSE streaming
Rib language: parser, typechecker, compiler, and interpreter for WebAssembly component (WIT) workflows
OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 4
answer any question right from your terminal, using the same large language model that powers ChatGPT
Static analysis for AI agent instruction files
Flexible HTML sanitization for Rust — build policies and sanitize documents easily.
DOP-Ensemble: Divergent–Originality–Precision Ensemble Framework for Generative Language Models
Admissibility compiler core: Γ ⊢ z : p until ε
Generator for the DSFB Atlas v2 — emits 10,000-theorem LaTeX from YAML specs with SHA-256 proof-uniqueness verification.