owl-dl-core cargo 0.4.36 clean Core IR, normalization, and shared utilities for the rustdl OWL DL reasoner 743 2d ago owl-dl-datatypes cargo not built Datatype reasoners (xsd:boolean, xsd:integer, xsd:string, ...) for rustdl 589 2d ago owl-dl-saturation cargo 0.4.36 clean Consequence-based saturation engine for the EL fragment, used by rustdl 545 2d ago owl-dl-tableau cargo 0.4.36 clean Tableau-based reasoning engine for SROIQ used by rustdl 510 2d ago owl-dl-reasoner cargo not built Hybrid saturation+tableau OWL DL reasoner — public API for rustdl 422 2d ago owl-dl-cli cargo 0.4.36 2 vulnerabilities 2 Command-line interface for the rustdl OWL DL reasoner 157 2d ago owl-dl-verify cargo 0.4.36 clean Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of… 80 2d ago wicked-estate-knowledge cargo 0.21.0 clean Knowledge engine: typed relations, cite-able recall, cross-store code↔knowledge differentiator. 999 1d ago mercury-knowledge-graph-macros cargo 4.12.21 clean Proc-macro annotations for the knowledge-graph layer (Java @FetchFeature analog) 255 1d ago greentic-dw-knowledge cargo 1.2.0-dev.37603443005 clean Shared knowledge (document-RAG) contract for Greentic DW. 242 18h ago cratefield-adapter-owlpost cargo 0.2.1 clean Mailer port over the Owlpost REST API for the Cratefield harness 186 1d ago knowledge-architect-agent-skills cargo 0.4.0 clean The agent skills, subagent definitions and primer that knowledge-architect installs into a project. 51 1d ago hawdb-nowledge-contracts cargo 0.4.0 clean An embedded Rust graph database for local data-plane workloads 26 1d ago howl-reasoner cargo 0.1.0 clean 5h ago knowledge-oriented-vv-analysis-for-nuclear-sciences-kovan cargo 0.0.1 12 vulnerabilities 12 23h ago grin_secp256k1zkp cargo 0.8.0 clean Grin's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1` library. Implements ECDSA for the SECG elliptic curve group… 239K 4h ago barretenberg-rs cargo 5.3.0-nightly.20261008 2 detections 2 Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs 35K 1m ago kglite cargo 0.19.4 clean Pure-Rust embedded Cypher knowledge graph engine with in-memory, mmap, and disk storage, and agent-facing schema introspection 6.2K 1d ago tokensave cargo not built 7.15.0 did not build Code intelligence tool that builds a semantic knowledge graph from Rust, Go, Java, Scala, TypeScript, Python, C, C++, Kotlin, C#, Swift, and many more codebases 5.6K 20h ago smooai-smooth-operator-ingestion cargo 1.63.0 clean Knowledge ingestion + connectors for smooth-operator — pull documents from sources (file/web), chunk, embed, and store them in the StorageAdapter knowledge… 5.2K 8h ago smooai-smooth-operator-adapter-dynamodb cargo 1.63.0 clean DynamoDB single-table StorageAdapter for smooth-operator — the AWS-serverless backend (DynamoDB OLTP + checkpoints, S3 Vectors / brute-force DynamoDB knowledge… 4.4K 8h ago smooai-smooth-operator-server cargo 1.63.0 18 vulnerabilities 18 Reference WebSocket service for smooth-operator — speaks the schema-driven protocol over a smooth-operator KnowledgeChatRuntime. 3.9K 6h ago octocode cargo not built 0.26.5 did not build AI-powered code intelligence with semantic search, knowledge graphs, and built-in MCP server. Transform your codebase into a queryable knowledge graph for AI… 3.9K 1d ago kglite-mcp-server cargo 0.19.4 clean MCP server for kglite knowledge graphs — pure-Rust single-binary frontend for cypher_query / graph_overview / save_graph / read_code_source plus the generic… 3.4K 1d ago rdfoothills-vocabgen cargo 0.7.1 2 vulnerabilities 2 Reads vocabularies (OWL) and generates shortcuts for their RDF terms to be used in Rust code (based on the `oxrdf` library). See `oxrdf::vocab` and… 2.7K 2d ago aprender-train-distill cargo 0.70.2 1 vulnerability 1 End-to-end knowledge distillation CLI 1.7K 6h ago khive-pack-kg cargo 0.10.0 clean KG verb pack — entity/note CRUD, graph traversal, hybrid search for research knowledge graphs 1.6K 53m ago krusty-kms-crypto cargo 0.13.0 clean Cryptographic primitives and zero-knowledge proofs for krusty-kms 1.5K 9h ago wicked-estate-memory-api cargo 0.21.0 clean The memory/knowledge interface seam: traits + DTOs a host (estate binary/MCP) calls so any memory implementation (e.g. wicked-memory) can plug in. Depends on… 1.3K 1d ago tsift-local-model cargo 0.1.105 clean Local model profile, GPU probe, and lifecycle contracts for tsift Knowledge Graph extraction 1.1K 9h ago 