Configurable DSH-native LLM verifier with a Web settings page

LLM-as-a-Verifier bridge for DSH: expose select/compare/track/ProgressTracker as agent tools via a Python stdio bridge (reuses the official llm-verifier package).

Ask a configured verifier model to judge a claim against bounded, untrusted evidence.

Generate or verify a Proof Key for Code Exchange (PKCE) challenge pair

prism-verify — runtime LLM verifier (family-different, reasoning-stripped, multi-lens, signed Ed25519 receipts). Zero-prerequisite npx install via a verified binary launcher.

A Node.js module for verifying email addresses

A lightweight library to decode and verify RS JWT meant for the browser.

Easily validate Okta access tokens

CopilotKit license verification

Verify JSON Web Tokens (JWT) from Amazon Cognito and other IDPs

TypeScript definitions for jest-axe

Secure Remote Password (SRP)

Provider-neutral LLM service interface for the DeepSeek Harness

Fresh-context iterative loops for Claude Code — autonomous task completion with independent verification

LLM-as-a-Verifier for dsh with the Best-of-N conversation mode built in: rank N candidates with a fine-grained verifier (expected grade over the logprob distribution), on demand via the verify tool or automatically on every turn of a Best-of-N session. In

Verifies that typescript examples in markdown files actually compile.

Provider-routed LLM request retry policy for the DeepSeek Harness

TON verifier SDK - sources fetcher + code viewer for FunC with code highlighting

LLM-as-a-Verifier for DeepSeek Harness: fine-grained reward, Probabilistic Pivot Tournament best-of-N selection, and per-step progress tracking as agent tools.

AMD SEV-SNP attestation verifier for Node.js and browsers