Docs.rs

Real-time tracing, replaying, and rewinding of AI coding assistant edits. MCP server for AI self-correction. Cross-agent support (Claude Code, Cursor, Codex). Export to Agent Trace JSON and git-ai git notes.

Code intelligence tool that builds a semantic knowledge graph from Rust, Go, Java, Scala, TypeScript, JavaScript, Python, C, C++, Kotlin, Dart, C#, Pascal, PHP, and Ruby codebases

GitHub connector for libverify SDLC verification

Wayland MITM proxy for rewriting protocol messages

canus-lupus — Post-quantum Swiss Army Knife CLI (Layer 2 of the canus-lupus stack)

OPA Rego policy engine for libverify — maps control findings to gate decisions

Output formatters (SARIF, JSON) for libverify verification results

Fastcgi client implemented for Rust.

Platform-agnostic SDLC verification engine — evidence model, controls, assessment

Fast local CLI note manager with optional password encryption

Raw FFI bindings to libbsd

A no_std parser for Floreum messages.

File storage

PubMed query tool (Rust core)

ENET driver for NXP's i.MX RT MCUs