CATEGORY
Development tools::Testing 2,431 crates
Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.
oalacea-lumenAI-powered code analysis and test generation toolkit - Oalacea Lumen CLI72MIT
agentforge-scenariosScenario generation (F-02): schema-derived, adversarial, domain-seeded72MIT
mira-everrunsMira Subject adapter for the everruns-runtime: evaluate in-process agent sessions71MIT
ferridriver-sessionSession registry, IPC server, and CLI client for binding live ferridriver browsers to named sessions71MIT OR Apache-2.0
durable-execution-sdk-testingTesting utilities for AWS Durable Execution SDK71Apache-2.0
smix-serversmix-server — smix's general-purpose httpapi server. Fixed httpapi stack (axum/sqlx-postgres/redis-valkey). First feature module…71Apache-2.0 OR MIT
robost-webWebDriver browser automation for Rust RPA scenarios (Selenium/fantoccini integration)70MIT OR Apache-2.0
aws-local-ecsLocal AWS ECS mock backed by the Docker daemon70MIT OR Apache-2.0
aws-local-resourcesGeneric AWS resource store for aws-local — handles 14+ services with one SQLite table70MIT OR Apache-2.0
e-okelloh-praxis-profileCU profiler70Apache-2.0 OR MIT
ferridriver-cliferridriver CLI -- MCP server for browser automation70MIT OR Apache-2.0
cargo-affectedRun only the tests affected by git changes, using LLVM coverage.70MIT OR Apache-2.0
aws-local-ecrLocal AWS ECR mock backed by the Docker daemon69MIT OR Apache-2.0
aws-local-elbLocal AWS ELB/ALB mock with real HTTP reverse proxy69MIT OR Apache-2.0
e-okelloh-praxis-checksFD/T-2022/AC check pack69Apache-2.0 OR MIT
verdet-harnessRuntime support library for test harnesses generated by verdet: seed-corpus loading, proptest integration, oracle verdict…69MIT
falsifyProperty testing based on coroutines68MIT
inceptool-corpus-parserParser for the corpus .tests file format used by inceptool-parable68MIT OR Apache-2.0
mcp-gauntlet-coreShared MCP client, stdio/HTTP transports and schema-driven value generation powering the mcp-gauntlet toolkit (mcp-fuzz +…68MIT
philiprehberger-http-testDeclarative HTTP API integration testing framework with fluent assertions67MIT
aptitudeA test harness for validating AI agent behavior against steering guides67MIT
lontra-assertsAssert macros from lontra project67Apache-2.0
tesults-test-macrosProc macros for tesults-test67MIT
mcp-everything-serverReference MCP server exercising every 2025-11-25 protocol capability on rmcp, behind a default-secure HTTP transport policy, with…67MIT
intent-audit-harnessDeterministic test-enforcement harness — escape-scan, hash-pinning, CRAP, architecture checks, bias detection, Gherkin lint.…67Apache-2.0
kotoba-llmUnified multi-vendor LLM client abstraction, supporting providers such as OpenAI, Anthropic, Google Gemini, etc.66MIT
arkhe-runtime-testkitProperty-based testing harness for ArkheForge Runtime: proptest Arbitrary implementations + scope-based shrinker for ShellId /…66MIT OR Apache-2.0
litetapSQL-first database testing for SQLite and D1 — a pgTAP-inspired CLI test runner.66MIT
quickbenchA tiny no-frills micro-benchmark harness. Benchmarks are #[test] #[ignore] functions runnable via cargo test.65MIT OR Apache-2.0
anapaoLibrary for deterministic simulation tests and reproducible stochastic workflows65non-standard
ir-assertin-test assertion over its compiled llvm-ir65MIT
criblerStatistical randomness-test toolkit (chi-squared, serial, runs, KS, birthday spacing, NIST SP 800-22, paranoid meta-test).…65MIT
veritas-rustRust language plugin for veritas64Apache-2.0 OR MIT
hikerA tiny DSL for stating architectural intent that compiles, with a Rust proptest bridge.64MIT OR Apache-2.0
mdbook-luadoctestAn mdBook renderer that extracts Lua code blocks as doctests and writes them to a test.lua script64AGPL-3.0-or-later
arcanum-verifyFormal verification and timing analysis tools for the Arcanum cryptographic engine64MIT OR Apache-2.0
apihunterAsync API security scanner with passive and active checks for CORS, CSP, GraphQL, JWT, OpenAPI, and API posture.64MIT
sql-helpsql-help: parse SQL text then print any SQL help that we know of, such as optimizations, clarifications. Work in progress.63MIT OR Apache-2.0 OR GPL-2.0 OR GPL-3.0 OR BSD-3-Clause
testx-cliOne command. Any language. Beautiful tests.63MIT
wasm-harnessBenchmark and test WebAssembly under wasmtime or browser JavaScript engines (V8, SpiderMonkey).63MIT OR Apache-2.0
embeddenator-testkitComprehensive testing utilities and performance benchmarking for embeddenator VSA operations63MIT
testlessFunction-level test impact analysis via static AST62MIT
scarfbench-cliCLI for running, testing, and evaluating SCARF benchmark applications.62Apache-2.0
kanatokoTest Soroban contracts against captured Stellar network state62MIT OR Apache-2.0
protoglot-coreDomain core for protoglot: protocols, runner, assertions, reporting62MIT OR Apache-2.0
floydOpen-source MC/DC coverage engine for Rust, focused on automotive safety-critical code (ISO 26262, ASIL-D, TCL3).61MIT OR Apache-2.0
veritas-goGo language plugin for veritas61Apache-2.0 OR MIT
graveyardFind dead code across Python, JS/TS, Go, and Rust with git-aware confidence scoring.61MIT
cliffy-testAlgebraic testing framework for Cliffy - tests as geometric invariants60MIT
prompt-sentinelA high-performance CLI tool for LLM prompt regression testing60MIT
protest-criterionProperty-based benchmarking integration between Protest and Criterion60MIT
oboron-cli-conformanceConformance test suite for the oboron protocol CLI surface. Ships canonical test vectors and the `oboron-cli-conformance` binary…60MIT OR Apache-2.0
gpuemu-commonShared types, protocol, deterministic RNG, and config for gpuemu — the GPU-less correctness oracle for deep-learning kernels59MIT OR Apache-2.0
veritas-reportReport rendering for veritas59Apache-2.0 OR MIT
protest-proptest-compatProptest compatibility layer for Protest - drop-in replacement for easy migration59MIT
genies_testGenies 框架测试工具库 - 提供对比测试、数据库快照/差异/还原、Deep Diff 等基础设施59MIT/Apache-2.0
ought-coreShared cross-cutting types for the ought workspace58MIT OR Apache-2.0
maw-scenarioDriver-agnostic scenario plan generator for maw — shared by SG1 DST (in-process oracles) and SG2 (real-agent benchmark).58MIT
protest-instaSnapshot testing integration for Protest property-based testing58MIT
goldencheckInstall stub for the goldencheck CLI; use cargo binstall for the real binary57MIT OR Apache-2.0
dokono-testSelective test runner for Rust workspaces. Runs only the tests affected by a code change, by driving rust-analyzer over LSP.57MIT
visual-rubricAI-assisted screenshot rubric runner for local visual UX review57EUPL-1.2
seedgenZero-config database seed data generator with deterministic, constraint-safe fake data57MIT
protest-extrasExtra generators for the Protest property testing library57MIT
nornir-selftestSelf-emitter bridge — nornir's own render / side-effect paths and #[test]s push a functional_status row into the…57MIT OR Apache-2.0
tauri-test-macrosImplementation crate for tauri-test procedural macros.57MIT
cargo-crappyCRAP metric analysis for Rust — clippy-style diagnostics for change-risk, complexity, coverage, and idiomatic code57MIT
switchy_schema_test_utilsSwitchy Schema Test Utils package56MPL-2.0
zk-mutantMutation testing for Noir circuits56MIT
cf-invariants-anchor-idlAnchor IDL ingestion: parses Anchor 0.30 / Codama-style IDL JSON into a typed contract surface.56Apache-2.0
protest-statefulStateful property testing DSL for Protest - test state machines, concurrent systems, and complex APIs56MIT
agentforge-benchmarksBenchmark comparison: runs agents against GAIA, AgentBench, and WebArena tasks and reports percentile vs. published baselines (v2…56MIT
haptic-domAccessibility audit CLI with 133 WCAG/ARIA rules. Single binary, zero JS dependencies.56MIT
rstest-bdd-serverLanguage server for rstest-bdd BDD testing framework56ISC
gridworld-rlA deep reinforcement learning 2D gridworld environment with single- and multi-agent support.55Apache-2.0
agentforge-redteamRed-teaming mode: adversarial safety probing with jailbreak, prompt injection, data leakage, and constraint bypass scenarios (v2…55MIT
testkit-asyncPractical testing tools for async Rust - time control, deterministic execution, and failure injection55MIT
oharness-evalBenchmark runner + TaskEvaluator re-export for open-harness55MIT OR Apache-2.0
my-canister-dapp-testAcceptance suite for WASM binaries built with my-canister-dashboard55MIT
cf-invariants-anchor-emitEmit Crucible-compatible invariant fixtures (#[fuzz_fixture] + #[invariant_test]) from cf-invariants-anchor candidates.55Apache-2.0
cf-invariants-anchor-reportRender cf-invariants-anchor scorecards (markdown + JSON), mirroring cf-invariants (Cairo).55Apache-2.0
cf-invariants-anchor-aiAnthropic-backed AI invariant suggester for cf-invariants-anchor. Live path is opt-in via env (CF_INVARIANTS_ANCHOR_AI_LIVE=1 +…55Apache-2.0
mockem2-derivederive for mockem55MIT OR Apache-2.0
bevy_mod_screenshot_testScreenshot test plugin for Bevy55Apache-2.0
cargo-evalsCargo subcommand for listing and running typed agent eval suites55Apache-2.0
mutantorCore mutation testing engine55Apache-2.0
pleme-testingTesting utilities library for Pleme platform - test fixtures, testcontainers, integration helpers55MIT
playwright-cdpDrive Chromium directly via the Chrome DevTools Protocol (CDP) — no Playwright driver required.54Apache-2.0
malcolm-lensLLM interpretability layer for malcolm chaos reports54MIT OR Apache-2.0
maat-sdk-testTest harness for MAAT plugin authors — TestHarness, fixture builders, BDD assertion helpers. Plugin authors depend on this only…54MIT OR Apache-2.0
molockHigh-performance mock server for CI/CD pipelines and testing54Apache-2.0
crabtalk-benchMock OpenAI backend for benchmarking crabtalk54MIT OR Apache-2.0
moonlight-cliCompare command behavior against one or two reference commands.54MIT
slash-testingProptest strategies and harness configuration for testing slash-command language parsers53MIT OR Apache-2.0
attackstrGrammar-based security payload generation — TOML-driven, composable, encoding-aware53MIT
mcp-reference-hostReference MCP host: scriptable client handlers, a bounded deterministic agent loop, real transports, trace capture, and the…53MIT
rstest-bdd-harness-tokioTokio harness adapter and attribute policy for rstest-bdd.53ISC
cupel-testingFluent assertion vocabulary for cupel selection reports52MIT
wdio-dioxus-embedded-driverEmbedded WebDriver server for @wdio/dioxus-service — runs inside the Dioxus app process and communicates with the webview via the…52Apache-2.0 OR MIT
testscribeTesting framework for stateful systems, where tests build on each other's state, forming a test tree with readable…52MIT
perfgate-fakeTest utilities and fake implementations for perfgate testing52MIT OR Apache-2.0
seppoKubernetes testing framework with multi-cloud cluster management52Apache-2.0
mirroir-runCross-platform replayer for mirroir SkillStep YAML scenarios — drives web (Chrome via CDP, Firefox/WebKit via WebDriver), generic…52Apache-2.0
llm-test-benchA production-grade CLI for testing and benchmarking LLM applications with support for GPT-5, Claude Opus 4, Gemini 2.5, and 65+…51MIT OR Apache-2.0
spec-lockFreeze a deterministically derived spec artifact into a committed file, and gate CI on drift — so the PR diff is the ratification.51MIT OR Apache-2.0
portaki-test-utilsIn-process mock host and SDUI assertions for Portaki module unit tests51Apache-2.0
bisectrunkParallel, environment-aware, resumable Git bisection executor51MIT
jnisafe-checkStatic checker that verifies a Rust/Java JNI layer agrees on names, signatures, and pointer types.50MIT OR Apache-2.0
inqA tool for executing API queries defined in a plaintext file that can be checked in to version control or managed like any other…50Apache-2.0
wasi-soroban-test-helpersA collection of helpers for writing tests for Soroban contracts50MIT
tideline-testingGiven-When-Then aggregate test harness.50MIT
smix-core-conformancesmix-core-conformance — cross-SDK conformance test harness. Fixture-based byte-identical validation across Rust core / Swift SDK…49Apache-2.0 OR MIT
rewrit-modelParity engine for validating observable behavior during rewrites.48MIT OR Apache-2.0
entidb_testkitTest utilities for EntiDB48MIT OR Apache-2.0
ez_tracingTracing, made easy48MIT OR Apache-2.0
CovOpt-AnalyzerA Coverage-Optimized Complexity Analyzer and Auto-Tuning engine for Rust.48MIT
negative-space-testingA testing framework where you define what code DOES NOT do — inspired by the meteorologist's blindness47MIT
env-test-guardTest toolkit for Rust projects that interact with Git — temporary repos, environment guards, fixture builders, and git capability…47MIT
boundary-spec-macrosDerive macros for boundary-spec: generate a value object's probe surface from its structure.47MIT OR Apache-2.0
pjdfstestA generic POSIX file system test suite.47BSD-2-Clause
varar-coreMarkdown-native BDD — pure functional core engine46MIT
duende-testTesting infrastructure for Duende (harness, chaos injection, load testing)46MIT
test-bdA library and CLI tool for creating procedurally generated test block devices using ublk46MIT OR Apache-2.0
cargo-vouchProve a loop-light Rust function is panic-free, with no annotations. Auto-generates a Kani proof harness for every function in a…46MIT
monochromatic-nested-wayland-sessionMinimal single-app nested Wayland compositor for GUI testing: hosts one Wayland client fullscreen on the GPU (dmabuf) path,…45LGPL-3.0-or-later
tesultsUpload test results to Tesults45MIT
gha-cache-proofGitHub Actions cache compatibility checker and local cache-store receipt tool for offline CI45MIT OR Apache-2.0
invariant-fuzzAdversarial testing framework for Invariant — robotics and biosynthesis. Part of the unified Invariant workspace at…45MIT
cribler_coreCore statistical randomness-test engines (closure-based, RNG-library-agnostic). Extend via cribler.45MIT
holdoutA tamper-resistant, agent-facing verification oracle: grade a candidate against a sealed held-out suite it cannot read or edit.45MIT
ouroA golden test runner for language hackers44MIT
e-okelloh-praxis-idlIDL ingestion (Anchor, Codama, Shank)44Apache-2.0 OR MIT
e-okelloh-praxis-reportMarkdown and JSON report generator44Apache-2.0 OR MIT
libafl_asanAddress sanitizer library for LibAFL44MIT OR Apache-2.0
postcrate-coreEmbeddable SMTP capture engine: server, multi-mailbox lifecycle, chaos simulation, SQLite persistence, HTTP API.44MIT
csv-spectrumCSV parser conformance test corpus44MIT
graphql-operation-server-harnessGraphQL operation server harness for testing mock operations43MIT
gigaloadload testing tool for benchmarking solana RPC endpoints43MIT OR Apache-2.0
burncloud-api-testA high-performance API testing tool supporting OpenAI, Azure OpenAI GPT, and Azure Claude models with comprehensive performance…42MIT
varar-configMarkdown-native BDD — varar.config.json reader42MIT
reqwest-rewirereqwest-rewire is a lightweight wrapper around reqwest that transparently rewrites outgoing request URLs based on user-defined…42MIT
http-endpoint-server-harnessHTTP endpoint server harness for testing mock endpoints42MIT
grpc-rpc-server-harnessgRPC RPC server harness for testing mock services42MIT
nucleus-hilNucleus dual-backend HIL substrate: QEMU and real-hardware test runners behind one observation API42MIT OR Apache-2.0
tracing-test-macrosTest macros automating tracing subscriber initialization.42MIT
forgeai-replayRecord/replay test harness for forgeai-rs41MIT OR Apache-2.0
veritas-pythonPython language plugin for veritas41Apache-2.0 OR MIT
aatxe-coreCore types, statistics, and comparison logic for aatxe. No IO.41MIT
sxmA Stream X-Machine library for formal modeling, visualization, and model-based testing.41MIT OR Apache-2.0
vcfixtureGenerate small VCF test data with decoded ground truth, for property-based testing.41Apache-2.0
tomtTOML formatter CLI and library41MIT OR Apache-2.0
rok-orm-factoryModel factories for testing rok-orm models40MIT
depyler-testingDifferential testing and validation framework for Depyler40MIT OR Apache-2.0
brainwires-evalEvaluation harness for the Brainwires Agent Framework — fixtures, regression suites, stability tests, adversarial cases, ranking…40MIT OR Apache-2.0
nomograph-jigAgent-shape testing harness. Runs runtime-in-the-loop task batteries against a tool's CLI to measure first-try command success,…40MIT
cargo-spectacularCustom test output formatter for spectacular — rainbow dots and more40MIT
elara-testELARA Protocol - Test harness, chaos testing, and benchmarking tools for protocol validation40MIT OR Apache-2.0
haptic-cssAccessibility audit CLI with 133 WCAG/ARIA rules. Single binary, zero JS dependencies.40MIT
neo-testTesting framework for Neo N3 Rust smart contracts40MIT
kamiyo-kaniReusable Kani formal verification primitives for Solana program invariants39MIT
veritas-cliCLI for veritas39Apache-2.0 OR MIT
interweaveStateless model checker for concurrent programs, powered by Optimal DPOR.39MIT
ringilLightweight fault injection for Rust — arm fault points, verify your error handling39MIT
knitDeterministic synthetic data generation toolset39MIT
quiqA TUI test runner that auto-detects your project and runs tests with beautiful results39MIT
test-langCompiler snapshot test harness for tokens, ASTs, and errors.39Apache-2.0 OR MIT
gha-github-service-proofGitHub Actions service/API compatibility checker for offline CI: GITHUB_TOKEN permissions, REST/GraphQL/gh CLI calls, OIDC,…39MIT OR Apache-2.0
boundary-specA module boundary specified precisely enough that its validating tests — and the proof their interior is correct — derive…39MIT OR Apache-2.0
tesults-testRust test integration for Tesults — enhanced test reporting with #[tesults_test::test]39MIT
cesty-buildBuild-script helpers for compiling C test sources used with cesty39MIT
trickydataRust client for the trickydata corpus of deliberately tricky test inputs.39MIT
vvm-coreVVM core verification APIs39MIT OR Apache-2.0
entropy-conservationConservation of Verification Entropy — a mathematical framework for the meta-law discovered across PLATO/SuperInstance experiments39MIT
foundation_testingReusable stress testing infrastructure for Foundation synchronization primitives39MIT OR Apache-2.0
protoglot-cliLocal-first, git-friendly multiprotocol API client (REST/GraphQL/SOAP/WebSocket/gRPC) with a CI-first CLI39MIT OR Apache-2.0
winceTest assertions with clear diffs and inline snapshots that update themselves38MIT
traceforgeTraceForge is a model checker for concurrent and distributed programs written in Rust38Apache-2.0
cognitoxAWS Cognito User Pools emulator for local development38MIT
ferrite-fixturesIn-memory GGUF fixtures for Ferrite tests38Apache-2.0
varar-runnerMarkdown-native BDD — imperative shell (discovery, loading, drift)37MIT
cargo-floydCargo subcommand for the Floyd Rust MC/DC coverage engine.37MIT OR Apache-2.0
fuzzmingLLM-powered fuzzing assistant for Solidity smart contracts — generates, runs, and iterates invariant tests with Foundry37Apache-2.0
agentforge-online-evalOnline shadow evaluation: routes live traffic to champion and candidate simultaneously and compares results (v2 F-01)37MIT
haptic-ax-treeAccessibility audit CLI with 133 WCAG/ARIA rules. Single binary, zero JS dependencies.37MIT
tanzim-testingSandboxed temporary environment for tanzim tests and examples37MIT
tastty-driverTerminal automation primitives37MIT
cestyA testing framework for C code37MIT
mcp-test-runnerTest Runner MCP Server — run unit, integration, and browser tests, get coverage reports, and collect logs36Apache-2.0
subms-otelOpenTelemetry bridge for the subms perf-harness - wires Histogram + Span emission from SubMsObserver + SubMsBenchSummary +…36MIT OR Apache-2.0
fixture3-ddminSequential DDMin reducer for ordered candidate lists36MIT OR Apache-2.0
mockd-httpLightweight standalone mock HTTP server for local development, integration tests and CI/CD.36MIT OR Apache-2.0
testament-coreCore test IR, evidence, metric, configuration, and gate types for testament36MIT
rugcovA tool that runs gcov on your project and generates summarized coverage reports.36GPL-3.0-or-later
mcp-fuzzSchema-aware fuzzer for Model Context Protocol (MCP) servers — generates hostile and boundary payloads from each tool's…35MIT
proptest-http-messageProptest strategies for generating HTTP request and response messages or individual components components35MIT OR Apache-2.0
insta-imageImage snapshot support for insta (https://insta.rs)35GPL-3.0-or-later
chimera-api-hpHigh-performance echo server for WAF throughput testing35MIT
haptic-browserAccessibility audit CLI with 133 WCAG/ARIA rules. Single binary, zero JS dependencies.35MIT
espelhoespelho (mirror) — typed terminal-conformance contract: hosts answer VT queries, guests survive any host35MIT
cobc-oracle-rsDrives the GnuCOBOL cobc compiler as an oracle: builds/runs COBOL fixtures and captures deterministic, canonical-JSON receipts…35GPL-3.0-or-later