Results for air_test

AquaVM testing framework

Test utils for the AIR interpreter

Unified TUI search over local coding agent histories

Rust bindings for the Listen Notes Podcast API

STARK proof system (AIR + FRI low-degree test) built on proof-cat-core and field-cat

Mocking library

Trace mutation fuzzer for Hekate ZK programs and chiplets. Tampers valid traces and asserts preflight catches every mutation.

MCP server for Swiss weather, pollen, radiation, UV, and air-quality data

A (currently) barebones metamorphic testing utility

A truely parallel field validator engine written on top of ryon, wgpu and rust-key-paths.

Intelligent stale dev process killer

An easy-to-use, lightweight, cross-platform, and high-performance tool for calculating, comparing, and verifying hash of strings and files.