spec-spine-types cargo 0.29.0 clean Typed DTOs, frontmatter grammar, configuration, and schema-version constants for spec-spine: the data substrate shared by the engine and (future) bindings. 5.4K 2d ago spec-spine-core cargo 0.29.0 clean The spec-spine engine: compile a markdown spec corpus into a deterministic authority registry, and query it. The library FFI bindings will wrap. 5.3K 2d ago spec-spine-cli cargo 0.29.0 clean The `spec-spine` command-line tool: compile a markdown spec corpus into a deterministic authority registry and query it. A thin wrapper over spec-spine-core. 2.6K 2d ago specodelic cargo 0.5.2 2 notes 2 Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it 117 2d ago spechtlabs-sigil cargo 0.7.3 clean Embed Sigil, a typed policy language, in Rust: the Go engine as a WebAssembly module on wasmtime 54 2d ago soroban-spec cargo 29.0.0 clean Soroban contract spec utilities. 2M 7h ago soroban-spec-rust cargo 29.0.0 clean Soroban contract spec utilities for generating Rust. 2M 7h ago sc-chain-spec cargo not built 53.0.0 did not build Substrate chain configurations. 2M 7h ago sc-rpc-spec-v2 cargo not built 0.61.0 did not build Substrate RPC interface v2. 528K 2h ago version_spec cargo 0.11.7 clean A specification for working with partial, full, or aliased versions. Supports semver and calver. 130K 23h ago soroban-token-spec cargo 29.0.0 clean Soroban token contract spec for use in developer tooling. 117K 6h ago stellar-asset-spec cargo 29.0.0 clean Stellar asset contract spec for use in developer tooling. 96K 6h ago greentic-secrets-spec cargo 1.2.0-dev.37709848518 clean Canonical traits and data models for Greentic secrets (read/write, versioning, metadata). 92K 2h ago staging-node-inspect cargo not built 0.39.0 did not build Substrate node block inspection tool. 82K 11m ago staging-chain-spec-builder cargo not built 21.0.0 did not build Utility for building chain-specification files for Substrate-based runtimes based on `sp-genesis-builder` 75K 45m ago qa-spec cargo 1.2.0-dev.37709402201 clean Core QA specification models and validation utilities. 65K 2h ago greentic-deploy-spec cargo 1.2.0-dev.37712238456 clean Greentic deployment object-model schemas (Environment, Revision, TrafficSplit, BundleDeployment, Credentials, PackConfig, RuntimeConfig) 31K 1h ago vtcode-utility-tool-specs cargo 0.173.2 clean Passive JSON schemas for VT Code utility, file, scheduling, and collaboration tool surfaces 8.3K 9h ago ext-php-rs-introspection cargo 0.2.1 clean ABI-stable description of an ext-php-rs extension and PHP stub rendering, shared by ext-php-rs and cargo-php. 4.0K 7h ago sheetport-spec cargo 0.3.2 clean SheetPort spec: schema, validation, and fio-lint CLI for portable spreadsheet IO 2.5K 16h ago rivetkit-inspector-protocol cargo 2.3.25 clean Inspector protocol types for RivetKit 2.0K 1d ago arch-satellite-lang-idl-spec cargo 0.34.0 clean Anchor framework IDL spec 1.1K 6h ago introspection-sdk cargo 0.24.0 clean Rust SDK for Introspection — continuously improve your AI systems with production feedback and frontier practices 745 21h ago banken-spec cargo 0.1.41 clean The postigo action-legality citizenship primitive — a TYPED-SPEC + INTERPRETER triplet for banken (the pleme-io-native k9s). Types are the hard border; the… 468 18h ago turbojev-specialized cargo 0.31.0 clean Portable contracts and reproducibility rules for TurboJev decision-specialized models 242 2h ago frost-spec cargo 0.1.23 clean Typed frost domain specs (BuiltinSpec, OptionSpec) authored as Lisp via tatara 175 1d ago turbojev-specialized-artifact cargo 0.30.1 clean Portable model-bound artifact pipeline for TurboJev specialized open-weight models 149 2d ago turbojev-specialized-eval cargo 0.30.1 clean Portable generic-vs-specialized evaluation and external-run interchange for TurboJev 148 2d ago mil_spec cargo 0.2.1 clean Write Apple CoreML .mlpackage programs in pure Rust: MIL ops, stateful graphs, weight blobs. No Python, no coremltools. 29 2d ago onebudgetspec-core cargo 0.1.3 clean Register measurable budgets in YAML and gate on them: load, discover, select, measure and report. 11 1d ago 