crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.0Sep 9, 2026 · metrics 2.10.0
All tags
Catalogue tag
#verifier
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
15 records
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.0Sep 10, 2026 · metrics 2.10.0
npm
kinde-oss/kinde-node-express
Kinde SDK for ExpressJS apps that run on the server
MITOct 20, 2026 · metrics 2.10.0
crates.io
TaceoLabs/circom-helpers
No repository description published.
Apache-2.0Sep 17, 2026 · metrics 2.10.0
npm
tinfoilsh/tinfoil-js
Tinfoil JavaScript / TypeScript Client supporting the OpenAI API standard
Apache-2.0Sep 10, 2026 · metrics 2.10.0
PyPI · npm · Go
witanlabs/witan-cli
The spreadsheet toolkit for coding agents - edit, render, calculate, and lint Excel workbooks.
Apache-2.0Sep 14, 2026 · metrics 2.10.0
Packagist
miladrahimi/php-jwt
A PHP implementation of JWT (JSON Web Token) generator, parser, verifier, and validator.
MITSep 13, 2026 · metrics 2.10.0
PyPI · crates.io
corpus-core/colibri-stateless
the c4 monorepo
MITOct 19, 2026 · metrics 2.10.0
PyPI
philpaz/recusal
Deterministic governance for Claude and MCP tool calls. Pin approved capabilities, detect drift, and refuse unsafe or unapproved actions before execution. No model in the decision path.
Apache-2.0Sep 14, 2026 · metrics 2.10.0
Packagist
facile-it/php-jose-verifier
JOSE JWT verifiers for OAuth2 and OpenID tokens
No licenseSep 14, 2026 · metrics 2.10.0
npm · Go · Maven
Realm-ID/sdk
Official partner SDKs for Realm ID — TypeScript today, Go and React components next.
MITSep 9, 2026 · metrics 2.10.0
Packagist
provemark/c2pa-verifier
Verifier for C2PA Content Credentials in pure PHP: JPEG, PNG, WebP and ISOBMFF, with c2patool's verdict. Read and verify only; no signing, no keys, no network.
MITOct 9, 2026 · metrics 2.10.0
npm
tmx-group/thea-audit-verifier
Thea audit verifier · seal / verification tooling
Apache-2.0Sep 18, 2026 · metrics 2.10.0
Go
Verdifax/verdifax-verify
Cryptographic attestation infrastructure for high-stakes AI decisions. Every governed execution produces a sealed, independently-verifiable manifest hash. USPTO patent + trademark filed.
MITSep 12, 2026 · metrics 2.10.0
npm
akiflow/licenses-verifier
Verify that the dependencies of package.json are licensed in a way that allows their use in a given project
MITOct 12, 2026 · metrics 2.10.0