Pinned Loading

1. gatecheck gatecheck Public

   Provider-agnostic LLM eval harness: task suites, deterministic + LLM-as-judge graders, regression gating in CI, and per-model cost & latency tracking. Local-first via Ollama; OpenAI and Anthropic s…

   Python

2. toroid toroid Public

   An agent that reads a spec and RTL, proposes formal properties, runs a model checker, and iterates on counterexamples — automating the hardware verification engineer's loop.

   Python 1

3. verderer verderer Public

   Tamper-evident ledger of U.S. government environmental data with offline-verifiable proof bundles

   Python

4. congruent-eq congruent-eq Public

   Bounded equivalence checker that proves an AI-refactored function matches the original, or finds a counterexample. Uses differential testing and Z3 symbolic execution.

   Python