crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.02026年8月22日 · 指标 2.10.0
全部标签
目录标签
#verifier
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
11 条记录
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.02026年7月18日 · 指标 2.10.0
npm
kinde-oss/kinde-node-express
Kinde SDK for ExpressJS apps that run on the server
MIT2026年8月28日 · 指标 2.10.0
crates.io
TaceoLabs/circom-helpers
该仓库未发布描述。
Apache-2.02026年8月8日 · 指标 2.10.0
PyPI · npm · Go
witanlabs/witan-cli
The spreadsheet toolkit for coding agents - edit, render, calculate, and lint Excel workbooks.
Apache-2.02026年7月28日 · 指标 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.02026年7月27日 · 指标 2.10.0
Packagist
facile-it/php-jose-verifier
JOSE JWT verifiers for OAuth2 and OpenID tokens
无许可证2026年7月30日 · 指标 2.10.0
PyPI · crates.io
corpus-core/colibri-stateless
the c4 monorepo
MIT2026年8月20日 · 指标 2.10.0
npm · Go · Maven
Realm-ID/sdk
Official partner SDKs for Realm ID — TypeScript today, Go and React components next.
MIT2026年7月17日 · 指标 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.
MIT2026年7月22日 · 指标 2.10.0
Packagist
miladrahimi/php-jwt
A PHP implementation of JWT (JSON Web Token) generator, parser, verifier, and validator.
MIT2026年7月23日 · 指标 2.10.0