Lib.rs

› Keywords #crdt #omen #event-sourcing #wasm #security #artificial-intelligence

#auditable

  1. lemma-cli

    A language that means business

    v0.8.2 #rules #web-server #interactive #fact #business #mcp-server #specs #model-context-protocol #artificial-intelligence #auditable

  2. gamecode-mcp2

    Minimal, auditable Model Context Protocol server for safe LLM-to-system interaction

    v0.7.0 420 #llm #auditable #mcp #minimal #security

  3. lexicon-rs

    Contract-driven verification and governance for software systems

    v0.1.0 #artificial-intelligence #contract #specification #gates #conformance #generated-artifact #governance #tui #claude #auditable

  4. oracle_omen_patches

    Self-evolution patch system with gates for oracle.omen

    v0.1.0 #patch #self-evolution #agent-framework #testing #deterministic #auditable #omen #event-sourcing #crdt #wasm

  5. oracle_omen_memory

    CRDT memory with provenance tracking for oracle.omen

    v0.1.0 #memory-tracking #crdt #agent #auditable #omen #provenance #event-sourcing #autonomous-agent #wasm #causal

  6. oracle_omen_plan

    Planning DSL and DAG compiler for oracle.omen

    v0.1.0 #agent-framework #dag #auditable #dsl #omen #crdt #event-sourcing #wasm #autonomous-agent #self-evolution

  7. auditable

    Audit Rust binaries for known bugs or vulnerabilities in production with zero bookkeeping

    v0.2.0 150 #cargo-subcommand #sbom #security-audit #vulnerabilities #bookkeeping #json-schema

  8. libqabu

    A auditable and versitile Rust cryptography library

    v0.2.9 #encryption #cryptography #symmetric-encryption #rijndael #auditable #cbc

  9. shapash

    A deterministic, auditable forward-chaining rule engine with pluggable scoring

    v0.1.15 #onnx #rule-engine #auditable #scoring #rules #heuristics #hel #expression-evaluation #security

  10. oracle_omen_wasm

    WASM sandbox with fuel limits for oracle.omen

    v0.1.0 #wasm-sandbox #tool-execution #logging #memory #host #omen #auditable #event-sourcing #crdt #wasm-execution

  11. wasmshield-cli

    A CLI Tool for verifying WebAssembly components

    v0.1.0 #signature-verification #sbom #wasm-component #auditable #command-line-tool

    12. Try searching with DuckDuckGo.

  12. auditable-build

    Companion crate to auditable, split out for technical reasons

    v0.2.0 #auditable #reason #cargo-subcommand #companion #technical #sbom

  13. festive

    Run your tests in isolation

    v0.2.2 #isolation #stripped #process-control #auditable #replacing #rusty-fork

  14. wasmshield

    verifying WebAssembly components

    v0.1.0 #signature-verification #wasm-component #sbom #auditable #check