-
cargo-public-api
List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via CI or a CLI.
-
cargo-vet
Supply-chain security for Rust
-
cargo-semver-checks
Scan your Rust crate for semver violations
-
reasonable
An OWL 2 RL reasoner with reasonable performance
-
rumdl
A fast Markdown linter written in Rust (Ru(st) MarkDown Linter)
-
pks
Welcome! Please see https://github.com/alexevanczuk/packs for more information!
-
squawk
Linter for Postgresql focused on database migrations
-
diesel-guard
Linter for dangerous Postgres migration patterns in Diesel and SQLx. Prevents downtime caused by unsafe schema changes.
-
bincode_reloaded
A binary serialization / deserialization strategy for transforming structs into bytes and vice versa! Maintained, drop-in replacement for bincode
-
launchdarkly-server-sdk-evaluation
LaunchDarkly feature flag evaluation engine
-
code-ranker
Code Ranker CLI — pluggable multi-language structural analysis platform
-
pragmastat
Pragmatic Statistical Toolkit
-
sbexec
Run commands in a macOS sandbox with supply chain attack protection
-
chicago-tdd-tools
Chicago TDD testing framework and tools for Rust projects
-
google-policysimulator1
A complete library to interact with Policy Simulator (protocol v1)
-
send_wrapper
implements a wrapper type called SendWrapper which allows you to move around non-Send types between threads, as long as you access the contained value only from within the original thread…
-
katana-markdown-linter
markdownlint-compatible Markdown linter library
-
boundary
A static analysis tool for evaluating DDD and Hexagonal Architecture
-
vibe-style
Style checker with Rust syntax and semantic analysis, plus first-batch Swift checks and safe deterministic fixes
-
tibet-airlock-kernel
Hardened Rust execution kernel for TIBET airlock — microVM sandbox, kernel isolation in <10ms, cryptographic proof of every execution. Bolle API beneath the Python tibet-airlock operator surface.
-
google-policysimulator1-cli
A complete library to interact with Policy Simulator (protocol v1)
-
proto-types
⚙️ Implementations for various common protobuf types
-
logicaffeine-compile
LOGOS compilation pipeline - codegen and interpreter
-
oxc_traverse
A collection of JavaScript tools written in Rust
-
rigsql-cli
Fast SQL linter CLI with sqlfluff-compatible rules
-
gobject-linter
A fast tree-sitter-based linter for GObject/C code
-
mutation-test
Mutation testing tool -- evaluates test suite quality by introducing deliberate code changes
-
sbom-tools
Semantic SBOM diff and analysis tool
-
gitsnitch
Lints your Git commit history against a declarative ruleset
-
pmat
Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
-
tfpin
Lint Terraform files against pinned versions and conventions declared in a config file
-
prost-protovalidate
Runtime validation for Protocol Buffer messages using buf.validate rules
-
hedl-lint
HEDL linting and best practices validation
-
tonic-types
A collection of useful protobuf types that can be used with
tonic -
aws-sdk-fms
AWS SDK for Firewall Management Service
-
markdownlint-rs
A fast, flexible, configuration-based command-line interface for linting Markdown/CommonMark files
-
rigsql-rules
Lint rules (sqlfluff-compatible) for the rigsql SQL linter
-
aws-sdk-codegurusecurity
AWS SDK for Amazon CodeGuru Security
-
buffrs
Modern protobuf package management
-
actplane
Programmable OS-level policy engine for AI agent harnesses — compiles workflow rules into eBPF information-flow policies with corrective feedback
-
shifty-engine
SHACL validation and SHACL-AF inference execution over the IR
-
higher-graphen-reasoning
Reasoning primitives and engines for HigherGraphen invariants, obstructions, completion, model checking, and abstract interpretation
-
pkgrank
Centrality analysis for dependency graphs and file-level import graphs
-
ion-schema
Amazon Ion Schema
-
perfectionist
Additional linting rules for Rust projects
-
presentar-test
Testing harness for Presentar applications
-
converge-arbiter-policy
Cedar-based Policy Decision Point and policy suggestors for the Converge platform
-
pav_regression
The pair adjacent violators algorithm for isotonic regression
-
gdstyle
A fast, opinionated linter and formatter for GDScript (Godot 4.x)
-
rustquty
Local-first quality scanner for Rust projects
-
rustqual
Comprehensive Rust code quality analyzer — seven dimensions: IOSP, Complexity, DRY, SRP, Coupling, Test Quality, Architecture
-
mcplint-cli
Compiler-style static security analyzer for MCP (Model Context Protocol) configurations
-
m1nd-core
Core graph engine and reasoning primitives for m1nd
-
google-cloud-rpc
Google Cloud Client Libraries for Rust - Google RPC Types
-
tla-checker
A TLA+ model checker written in Rust
-
swt
🍬 Sweet: A blazing-fast code health and architecture analyzer
-
cargo-oxidate
Check Cargo dependency for packages that are too new or too old
-
libp2p-relay
Communications relaying for libp2p
-
oxirs-shacl
SHACL Core + SHACL-SPARQL validator for RDF data validation
-
katana-ast-lint
Reusable AST lint rules for KatanA ecosystem repositories
-
rapid_solve
metaheuristic framework for solving combinatorial optimization problems
-
cap_access
Provide basic capability-based access control to objects
-
argentor-agent
Agentic loop, LLM provider backends, guardrails, and ReAct engine for Argentor
-
google-cloud-policysimulator-v1
Google Cloud Client Libraries for Rust - Policy Simulator API
-
ferrous-forge
System-wide Rust development standards enforcer
-
protify
A Rust-first protobuf framework to generate packages from rust code, with validation included
-
code-moniker
Standalone CLI / linter for the code-moniker symbol graph: per-file probe, directory summary, project-wide architecture rules
-
viam-rust-utils
designed for use with Viamrobotics's SDKs
-
pep257
PEP 257 docstring style checker for Rust code
-
jsonguard
Input inspection and output sanitization for JSON/JSONL, CSV, and TSV — guards against formula injection, bidi-override, control-character, and encoding attacks
-
google-cloud-cloudcontrolspartner-v1
Google Cloud Client Libraries for Rust - Cloud Controls Partner API
-
commitlint-rs
CLI tool to lint commits by Conventional Commits
-
code-split
Code Split CLI — pluggable multi-language structural analysis platform
-
blockwatch
Language agnostic linter that keeps your code and documentation in sync and valid
-
creditlint
CLI for enforcing Git credit and authorship metadata policy
-
libp2p-dcutr
Direct connection upgrade through relay
-
sqrust-cli
Fast SQL linter written in Rust — the Ruff for SQL
-
codestyle
A code style checker and formatter for Rust
-
guardrails
Enforce architectural decisions AI coding tools keep ignoring
-
fsqlite-error
Structured error types for FrankenSQLite
-
garbage-code-hunter
A humorous Rust code quality detector that roasts your garbage code
-
google-cloud-assuredworkloads-v1
Google Cloud Client Libraries for Rust - Assured Workloads API
-
kavach
Sandbox execution framework — backend abstraction, strength scoring, policy engine, credential proxy, and audit hooks
-
hyalo-cli
CLI for exploring and managing Markdown knowledge bases with YAML frontmatter
-
a9-lint
An opinionated Rust style linter configurable via Cargo.toml workspace metadata
-
negative-space-testing
A testing framework where you define what code DOES NOT do — inspired by the meteorologist's blindness
-
zk-scribble
Trace mutation fuzzer for Hekate ZK programs and chiplets. Tampers valid traces and asserts preflight catches every mutation.
-
nodex-core
Universal graph-based document tool — core library
-
unmake
a makefile linter
-
moors
Solving multi-objective optimization problems using genetic algorithms
-
code-baseline
Enforce architectural decisions AI coding tools keep ignoring
-
acquery
an alternative policy management interface for caitsith
-
mc-lint
CLI linter and marker attributes for checking Monte Carlo simulation hot paths
-
libfse
Fused Semantic Execution: fail-closed policy engine with O(1)-in-rule-count scanning, zero-allocation hot path, and guaranteed enforcement semantics
-
lint_arwaky
Autonomous code quality and architecture enforcement for AI agents and developers, enforcing 27 Agentic Engineering System (AES) rules
-
dictator-supreme
Supreme decree - universal structural rules for Dictator
-
wp-mini-epub-cli-interactive
An Interactive CLI tool to download WP Storeis into epubs
-
compio-send-wrapper
implements a wrapper type called SendWrapper which allows you to move around non-Send types between threads, as long as you access the contained value only from within the original thread…
-
hekate-sdk
Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics
-
fornix
Knowledge storage, retrieval, and graph infrastructure for cognitive systems
-
nu-lint
Linter for Nu shell scripts that helpfully suggests improvements
-
squint-linter
A fast SQL linter for dbt and Jinja SQL files
-
cf-gears-toolkit-canonical-errors
ToolKit canonical error types based on Google AIP-193 error model
-
unsafe-budget
keeps the unsafety demons out. an unsafe code budget gate for CI pipelines.
-
clausura-core
Core library for Clausura — a CI-native agent for deterministic pipeline gating
-
storage-guardian
Storage Conservation Guardian — detects waste across distributed filesystems
-
auditmysite
Resource-efficient WCAG 2.1 Accessibility Checker in Rust
-
launchdarkly-sdk-transport
Generic transport trait and optional implementations for use across LaunchDarkly Rust libraries
-
conservation-law
Generalized conservation law framework: γ + H = C
-
rigsql-config
Configuration loader (.sqlfluff and rigsql.toml) for rigsql
-
agentisc-relay-domain
Pure types, parser, and validator for the agentisc-relay — no_std compatible
-
rigsql-output
Output formatters (human, JSON, SARIF) for the rigsql SQL linter
-
ratchets
Progressive lint enforcement tool with budgeted violations that can only decrease over time
-
forgejo-commit-path-rules
Enforce consistency between commit messages and file changes in your repository
-
mdvs
A database of markdown documents — schema validation and semantic search
-
sloc-guard
A CLI tool that enforces SLOC limits and directory structure rules to guard against codebase complexity
-
archaven
A small Rust dependency rule checker for modular architectures
-
conflic
Detect semantic contradictions across config files
-
candor-sentinel
Deterministic guardrails: 6 rules + 10 doctrine principles for agent safety
-
kiss-ai
Code-quality metrics tool for Python and Rust
-
nils-agent-scope-lock
CLI crate for nils-agent-scope-lock in the nils-cli workspace
-
google-assuredworkloads1
A complete library to interact with Assuredworkloads (protocol v1)
-
rtsan-standalone
Standalone RealtimeSanitizer for Rust
-
ark-cli
Architectural boundary enforcer for .NET solutions
-
rivetui
A Terminal UI Discord Client in Rust
-
tftio-unvenv
Detect Python virtual environments not ignored by Git
-
argentor-builtins
50+ built-in skills (web search, crypto, file ops, security, data processing) for Argentor
-
pds-core
powering pds — sphinx-needs corpus gate-and-query primitives
-
dictator
structural linter framework with native and WASM decree support
-
topo-sonata
Musical compositions as simplicial complexes — persistent homology detects harmonic holes, genre classification via Betti numbers
-
packguard-actions
PackGuard Page Actions engine: generates prioritized remediation actions from the store + policy + intel, with dismiss/defer persistence
-
trammel
Config-driven architectural conformance tool for Rust workspaces
-
reliakit-validate
Composable validation traits and error types for Rust structs and values
-
oxiproto-cli
OxiProto CLI: compile .proto files to plain Rust structs without protoc
-
oplint
CLI tool to check Obsidian plugin compliance with (un)official guidelines
-
nils-agent-out
CLI crate for nils-agent-out in the nils-cli workspace
-
conservation-protocol
Agent communication via Laplacian gossip — the network topology IS the message
-
ktfmt-rs
Ultrafast Kotlin Formatter
-
bevy_debugger_mcp
AI-assisted debugging for Bevy games through Claude Code using Model Context Protocol
-
rigsql-i18n
Internationalization support for the rigsql SQL linter
-
reasonable-cli
Command line interface for Reasonable OWL 2 RL reasoner
-
aardvark-core
Runtime for executing sandboxed python bundles inside V8
-
cf-modkit-canonical-errors
ModKit canonical error types based on Google AIP-193 error model
-
invr
Declarative data validation engine using invariants executed on Polars DataFrames
-
constraint-dynamics
Physics of constraints — propagation, collision, and emergent structure in agent systems
-
cargo-fa
Static analysis tool for framealloc - detect memory intent violations before runtime
-
guardrail3
Composable code guardrails for Rust and TypeScript projects
-
mcp-session-memory
Session Memory MCP server for ADK-Rust Enterprise — typed session state, scoped memory recall, replay snapshots, and resumable workflows
-
pounce-l1penalty
Thierry-Biegler ℓ₁-exact penalty-barrier TNLP wrapper for POUNCE — opt-in NLP reformulation for degenerate / LICQ-violating NLPs (port of ripopt#23)
-
ringkernel-accnet
GPU-accelerated accounting network analytics with real-time visualization
-
mille
Architecture Checker — Rust-based multi-language architecture linter
-
victauri-test
Test assertion helpers for Victauri-powered Tauri app testing
-
intan_importer
importing and processing Intan RHS data files for neural recording research
-
proptest-lockstep
Lockstep-style stateful property testing for Rust
-
oss-spec
Bootstrap new open source repositories that conform to OSS_SPEC.md, with optional AI-driven project interpretation via zag
-
arkhe-subset-rust-check
Lint helpers for ArkheForge Runtime: enforces Subset-Rust purity on Action::compute (clock / RNG / I/O / FFI deny-list). Backs the #[arkhe_pure] attribute macro per E14.L1.
-
orcs-lint
Architecture lint rules for ORCS (OL002: unwrap ban)
-
versa_semval
Cross-platform module for semantic validation of Versa data
-
traceforge
model checker for concurrent and distributed programs written in Rust
-
concordance
negotiating HDMI 2.1 modes
-
sbd-server
websocket-based message relay server
-
mcp-trace-validator
Deterministic offline validator for recorded Model Context Protocol traces: requirement-level findings, machine-readable reports
-
cf-modkit-errors
ModKit errors library
-
bomdrift
SBOM diff with supply-chain risk signals (CVEs, typosquats, maintainer-age)
-
tauri-app-size-guardian
App Size Guardian — track binary size across builds, enforce size budgets, detect bloat
-
google-assuredworkloads1-cli
A complete library to interact with Assuredworkloads (protocol v1)
-
constraint-crdt
CRDT-backed constraint states for distributed fleet consensus
-
normcore
baseline for NormCore normative admissibility evaluator
-
sea-core
Rust core library implementing the SEA DSL primitives and validation engine
-
cmidi-conservation
Conservation law enforcement through harmonic tension — hear your budget violations as wrong notes
-
repocert
Certification and enforcement for git repositories
-
noether-bridge
Formal bridge from symplectic-fleet Noether pairs to conservation-law γ + H = C meta-law
-
flux-bridge
FLUX-X to FLUX-C TrustZone-style bridge protocol for constraint enforcement
-
mmap-guard
Safe, guarded memory-mapped file I/O for Rust
-
oxide-conservation
Conservation law verification for GPU computations — energy, mass, and information conservation across kernel boundaries
-
copybook-core
Core COBOL copybook parser, schema, and validation primitives
-
rust-guardian
Dynamic code quality enforcement preventing incomplete or placeholder code
-
alint-rules
Internal: built-in rule implementations for alint. Not a stable public API.
-
entropy-conservation
Conservation of Verification Entropy — a mathematical framework for the meta-law discovered across PLATO/SuperInstance experiments
-
rust_arkitect
lightweight library for defining and validating architectural rules in Rust projects
-
codesize
Report code size violations by file and function
-
convergio-cli
Convergio CLI — command-line interface for all Convergio operations
-
boundary-lsp
LSP server for boundary architecture analysis
-
slop-guard
Detect AI slop patterns in prose — scores text 0-100 for ~80 regex-based rules targeting LLM writing tics
-
haz-exec
Async task execution engine for haz
-
sql_query_analyzer
Static analysis tool for SQL queries with 20 built-in rules for performance, security, and style
-
anng
Safe, async bindings to nanomsg next-generation (NNG)
-
eventcore
Type-driven event sourcing library for Rust with atomic multi-stream commands
-
vivaldi-nc
Vivaldi network coordinates for fast, distributed latency estimates in multinode networks, with a clean and simple interface
-
crucible-core
Core library for Crucible architecture validation framework
-
conservation-lint
A cargo-compatible linter that verifies conservation laws across Rust crates at build time
-
marque-capco
CAPCO rule implementations for marque, consuming generated code from marque-ism
-
keel-enforce
Compile validation, error codes, and circuit breaker for keel
-
tower-request-guard
Request validation middleware for Tower
-
clash
Command Line Agent Safety Harness — permission policies for coding agents
-
jamjet-audit
JamJet audit log — immutable, append-only record of all security-relevant events
-
insight-engine
Self-iterating experimental discovery runtime — experiments breed experiments
-
conservation-checker
Track quantities that must not decrease across operations — one-sided conservation laws for budgets, energy, quotas, and more
-
data-protocol-validator
Rust validator for Data Protocol schemas - validates versioned bioinformatics analysis output against JSON Schema-based protocol definitions
-
covy-core
Fast Rust CLI for coverage and diagnostics gating
-
protoc-gen-protovalidate-buffa
protoc plugin that emits static Rust Validate impls from buf.validate annotations for buffa-generated messages. CEL expressions are transpiled to native Rust at codegen time — no runtime interpreter.
-
reinhardt-grpc
gRPC support for building RPC services
-
violet-lint
Information-theoretic code legibility evaluation tool
-
plumb-core
Deterministic design-system linter — rule engine and core types
-
alint-output
Internal: output formatters for alint reports (human, json, ...). Not a stable public API.
-
nah
Compile-time Clean Code quality gates for Rust — re-exports nah_core and nah_macros
-
agentic-contract
Policy engine for AI agents — governance, risk limits, approvals, and compliance
-
googleapis-tonic-google-rpc
A Google APIs client library generated by tonic-build
-
drift-sql
sql linter and formatter. multi-dialect, single binary, 60-180x faster than sqlfluff.
-
laddu-generation
Monte Carlo event generation tools for laddu
-
httpstatrs
A curl-powered HTTP timing profiler with compact terminal output, JSON output, and SLO checks
-
kimberlite-properties
Antithesis-style ALWAYS/SOMETIMES/NEVER property annotations for DST
-
sandbox-runtime
OS-level sandboxing tool for enforcing filesystem and network restrictions
-
wp-mini
Minimal async API Wrapper for WP | Only Reader/Public API | Extremely minimal
-
evfmt
Emoji Variation Formatter
-
escudo
Lightweight supply chain security checker for Rust
-
architect-linter-pro
Multi-language software architecture linter written in Rust
-
hfx-validator
CLI and library for validating HFX (HydroFabric Exchange) datasets
-
cargo-capsec
Static capability audit for Rust — find out what your code can do to the outside world
-
sakoku
A fast CLI tool to detect non-ASCII bytes in source files
-
typed-arrow-dyn
Dynamic Arrow facade for typed-arrow (runtime schema/builders)
-
loq
Enforce file size constraints
-
car-policy
Policy engine for Common Agent Runtime
-
cairnlang-cli
Cairn CLI: scripted/CI/local front end over cairnlang-core. Command name: cairn.
-
crucible-compliance
HIPAA/PCI-DSS/SOC2 compliance validation for Crucible architecture definitions
-
sqrust-core
Fast SQL linter written in Rust — the Ruff for SQL
-
plumb-format
Output formatters for Plumb violations — pretty, JSON, SARIF, MCP-compact
-
boundary-go
Go language analyzer for boundary
-
keel-output
JSON, LLM, and human output formatters for keel
-
wokelangiser
Add consent patterns, inclusive errors, and accessibility to existing code via WokeLang
-
plumb-mcp
Model Context Protocol server for Plumb
-
boundary-report
Report generators for boundary analysis results
-
nlproxy
High-performance LLM prompt compression, shielding, and firewall proxy core by IntelliDeep
-
plato-instinct
Unified instinct engine for PLATO agents — flux-instinct + cuda-genepool merged, enforced by plato-constraints assertions
-
cargo-cycles
A cargo extension for detecting dependency cycles between crates and within modules for a workspace
-
dictator-rust
Rust language decree for Dictator structural linter
-
alint-lsp
Internal: Language Server Protocol server for alint. Not a stable public API.
-
async-honesty
Causality violation detector for async workflows
-
csv-data-quality
Streaming CSV validator against a data-contract-registry contract. Async, line-by-line, structured violation report. The fourth cross-ecosystem hook in the Kinetic Gain portfolio.
-
crane-win64
A high-performance direct-to-binary compiler backend with built-in IR parser
-
dictator-typescript
TypeScript/JavaScript decree for Dictator structural linter
-
dictator-golang
Go language decree for Dictator structural linter
-
strided-traits
Shared traits for strided-rs: element operations, scalar bounds, and type-level composition
-
boundary-typescript
TypeScript/TSX language analyzer for boundary
-
boundary-java
Java language analyzer for boundary
-
valid
Validate custom types by composing primitive validation functions. Use one common API for validating all kind of business rules including aspects of the application state. One common error type for all…
-
boundary-rust
Rust language analyzer for boundary
-
agentguard
Network egress firewall for AI agent tools. Declarative domain allowlist; throws on violation. Optional reqwest-middleware integration.
-
konveyor-core
Shared types, gRPC protocol, and provider SDK for the Konveyor migration ecosystem
-
service_policy_kit
A toolkit to verify services against security policies
-
lock-hierarchy
Prevent dead locks by enforcing lock hierarchies
-
loq_fs
Filesystem operations for loq - enforce file size constraints
-
faultline
A typed error library for services and control planes that separates domain failures, transient faults, and invariant violations
-
frontend-fix-engine
Fix engine for applying pattern-based and LLM-assisted code migration fixes
-
tatara-rust-validate
Typed
Violationenum + per-SpecValidateimpls. Every macro Spec gets structural correctness checks BEFORE materialization — empty trait names, unbound splice holes, duplicate bundle members… -
py-license-auditor
A fast, reliable command-line tool to extract and analyze license information from Python packages with policy-based violation detection
-
autoken
A rust-lang static analysis tool to automatically check for runtime borrow violations
-
boundary-core
Core types, graph structures, and metrics for boundary
-
morbo
A CSP Reporter
Try searching with DuckDuckGo or on crates.io.