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