aegisvision-pretrain cargo not built 0.3.0 did not build AegisVision 预训练权重层：原生权重格式（哈希校验+元信息）与外部 PyTorch safetensors 导入适配 26 2d ago typeck-lang cargo 0.3.0 clean Profile-driven type checking over HIR: dynamic, gradual, static (generics, traits, inference), and Hindley-Milner from one checker. 26 1d ago polydeukes-sdk cargo 0.14.0 clean 0.17.0 did not build Polydeukes SDK for Rust — hands a covenant input or a change set to `pdks covenant check` and returns the verdict as a value. 25 5d ago aakash-sms cargo not built 0.1.2 did not build Client for Aakash SMS (Nepal): send to one or many numbers, check remaining credit 24 6h ago abnegate-payments cargo 0.1.1 clean Stripe Checkout, Customer Portal and webhook verification behind a host-agnostic client 24 1d ago hyprforge-setup cargo 0.1.13 clean The steps that finish a Hyprforge install — services, keybinds, idle lock, notification blur, default apps, the open/save dialog — each checked, applied and… 23 1h ago iqa-mcp cargo 1.0.1 clean Launcher for the IQA attestation MCP server (wraps the Python package iqa-mcp on PyPI). Spawns the installed iqa-mcp console script, a server.py checkout, or… 23 1d ago jig-policy cargo 0.8.0 clean Repository policy checks, agent guides, and the agent map for Jig. 23 11h ago formatkit-core cargo 0.1.0 clean Checked bytes, bits, sources, budgets and shared binary-data values 21 16h ago fusionspace-hpr-design cargo 0.1.0 clean The canonical rocket design model: component tree, shapes, materials, mass properties, stages and configurations, and design checks. 20 1d ago leo-wiki cargo 0.8.0 clean The @wiki tree kind for leo-rs: markdown pages linked by [[wikilinks]], checked, renamed and exported to one markdown file. 20 14h ago toride-installer cargo 0.1.0 clean Tool-agnostic release-artifact installer framework (pure Rust, reqwest-based). Mise is the wired concrete tool. 20 2d ago virial-gpu cargo 0.1.0 clean GPU device, surface and limit checks for Virial 20 10h ago BREP_plm cargo 0.2.0 clean The BREP PLM server: parts, revisions, lifecycle, checkout, BOMs and change orders over an embedded SQLite store, with a browser UI and the document API the… 19 3d ago pdf-toolkit-edit cargo 0.3.0 clean Incremental PDF updates that keep the original bytes, plus a writer and editor round-trip checker 19 5h ago statelessness cargo 0.2.0 clean Dependency-free state-machine checking, exploration, and replay 19 1d ago burn_gekko_eval cargo 0.2.0 1 vulnerability 1 Native metrics, camera protocols and single-checkpoint benchmark scoring 17 1d ago mcss cargo 1.1.1 1 vulnerability 1 A cli tool to check the status of a minecraft server. 17 2d ago sealmap-corpus cargo 0.2.1 clean Dense Mermaid projections of a sealmap Codebase, the seal lockfile and checks that keep hand-written diagram topics true to the code, and bounded review packs 17 4d ago yoagent-rutis cargo 0.1.1 clean Extend yoagent agents at runtime with rutis plugins, as one yoagent Extension: tools, tool policy, output filters, turn notes, input checks, verifiers and… 17 1d ago jwtf cargo 0.0.1-alpha.2 clean OpenID Connect and OAuth 2.0: RFC 8414 discovery, RFC 9207 iss checks, private_key_jwt, RFC 9068 access tokens, JWKS refetch on rotation, sans-IO core 16 5d ago tla-mc cargo 0.1.1 clean A fast TLA+ model checker: compiles a spec into a native, parallel checker; state counts measured exact against TLC 16 3d ago basable-db cargo 0.3.0 clean Postgres for basable nanoservices: the Nanoservice and Stateful markers, one NanoPool per stateful nanoservice (SET ROLE and search_path pinned per… 15 2d ago burn_vjepa cargo 0.2.0 clean V-JEPA 2.1 vision encoders, sparse tokens and audited checkpoint loading in Burn 15 1d ago macuahuitl cargo 0.1.1 clean A streaming output firewall: Aho-Corasick pattern kill on the token stream as text forms, structural-form evasion checks, and in-place PII redaction — named… 15 5d ago pdf-toolkit-inspect cargo 0.3.0 clean pdf-inspect: summary, text, receipts, semantic JSON, rendering, benchmarks, fuzzing and fixture checks for PDFs 15 5h ago toride-ssh-doctor cargo 0.1.0 clean SSH environment diagnostics: local and remote doctor checks for permissions, keys, agent, config, and connectivity 15 2d ago sealmap cargo 0.2.1 clean Deterministic code maps and sealed diagram contracts for LLM development harnesses: stable symbol ids, signature and body hashes, a seal lockfile checked in… 14 4d ago sootmark-imagecache cargo 0.1.0 clean Windows image caches for forensics: Explorer's thumbcache and iconcache databases (every thumbnail with its cache id, checksums and image bytes) and the RDP… 14 2d ago xmodem-proto cargo 0.1.1 clean Sans-IO XModem sender and receiver (checksum, CRC-16, HP's CRC, 1k blocks) for HP 48 and 49 calculators 14 2d ago 