augur cargo 1.0.0 2 detections 3 vulnerabilities 2 3 Reverse engineering assistant that extracts strings and related pseudocode from a binary file. 11K 5h ago sacp-cbor cargo 0.23.0 clean SACP-CBOR/1: strict deterministic CBOR validation and canonical encoding (hot-path optimized, no_std-capable). 11K 16h ago tari_template_lib cargo 0.34.0 clean Tari template library provides abstrations that interface with the Tari validator engine 11K 1d ago formualizer-macros cargo 0.11.0 clean Proc macros for authoring Formualizer built-ins (caps, schemas, and validation) 10K 15h ago vastlint-core cargo 0.14.1 clean VAST XML validator, SIMID linter, OMID validator, and VPAID detector. IAB VAST 2.0–4.4, 235 rules, pure Rust 8.9K 2d ago brepkit-check cargo 4.1.37 clean Topology algorithms: classification, validation, properties, distance 6.8K 23h ago aprender-contracts-cli cargo 0.70.2 clean CLI for provable-contracts — validate, scaffold, verify, status, audit 6.3K 7h ago agnix-rules cargo 0.56.6 clean Validation rules for agnix - agent configuration linter 6.0K 1d ago icydb-model cargo 0.267.1 clean IcyDB application-model authoring, validation, and code generation 5.7K 9h ago agnix-core cargo 0.56.6 clean Core validation engine for agent configurations 5.6K 1d ago workshop-rs cargo 1.7.0 clean Canonical multi-locale Overwatch Workshop semantic core: catalog, parser, WIR, validation, emitter. 5.3K 1d ago barnacle-rs cargo 0.5.3 clean Advanced rate limiting middleware for Axum with Redis backend, API key validation, and custom key extraction 5.1K 11h ago greentic-cap-schema cargo 1.2.0-dev.37454230684 clean Schemas and validation helpers for Greentic capability declarations. 4.2K 1d ago vtcode-skills cargo 0.173.2 clean Skill types, discovery, loading, and validation for VT Code 4.1K 7h ago qail-core cargo 3.0.0 clean QAIL AST Kernel - typed query AST, schema validation, RLS context, and native access policy 3.6K 1d ago kaiv cargo 0.15.0 clean Reference implementation of the kaiv format (Levels 0-3): lexer, compiler, denormalizer, schema compiler, validator 3.3K 1d ago epubveri cargo 0.23.0 clean Pure-Rust EPUB validator — a fast, JVM-free, embeddable alternative to epubcheck. 3.3K 5h ago dekopon-core cargo 0.35.0 clean Dependency-light domain types and validated identifiers for Dekopon 3.3K 1d ago node-app-manifest cargo 7.5.20 clean Canonical manifest schema and validation contract for Node apps 3.3K 15h ago meerkat-mob-pack cargo 0.8.51 clean Mobpack format types and validation primitives 3.2K 2d ago merman-export cargo 0.8.0 clean Bounded PNG, JPEG, and PDF export for terminally validated Merman SVG. 3.0K 2d ago formualizer-sheetport cargo 0.11.0 clean SheetPort runtime: bind manifests to workbooks, validate IO, and run sessions deterministically 2.9K 15h ago node-app-build cargo 7.5.20 6 vulnerabilities 6 Mini app developer CLI: scaffold, validate, package node-app-* Debian packages 2.9K 15h ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 7h ago greentic-sorla-lib cargo 1.2.0-dev.37710159493 clean Reusable library facade for Greentic SoRLa authoring, validation, and handoff artifacts. 2.6K 16m ago sheetport-spec cargo 0.3.2 clean SheetPort spec: schema, validation, and fio-lint CLI for portable spreadsheet IO 2.5K 15h ago slpc cargo 0.6.0 clean Read, write, and validate Slipcase containers: a ZIP holding a content file and the TOML flyleaf that describes it 2.0K 1d ago greentic-x cargo 1.2.0-dev.37709708607 6 vulnerabilities 6 Greentic-X CLI for catalog-driven composition, scaffolding, validation, and simulation. 2.0K 15m ago dbmd-core cargo 0.14.6 clean Reference library for db.md, the open standard for databases in plain files. Parsing, store walk, wiki-link graph, validation, query, and write-through… 1.9K 1d ago vastlint-cli cargo 0.14.1 clean VAST XML validator and inspector — validate, inspect wrapper chains, and auto-fix IAB VAST 2.0–4.4 ad tags 1.8K 2d ago 