An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "verification" keyword

Top 2.8% on pypi.org
python-gnupg 0.5.7
A wrapper for the Gnu Privacy Guard (GPG or GnuPG)
35 versions - Latest release: about 1 month ago - 90 dependent packages - 2,116 dependent repositories - 12.9 million downloads last month - 144 stars on GitHub - 1 maintainer
honestly 0.7.4
Blocks a coding agent's "tests pass" / "fixed" / "pushed" reply when no check ran after its last ...
19 versions - Latest release: 27 minutes ago - 0 downloads last month - 2 stars on GitHub - 1 maintainer
Top 3.8% on pypi.org
xskillscore 0.0.29
Metrics for verifying forecasts
28 versions - Latest release: 9 months ago - 5 dependent packages - 13 dependent repositories - 8.62 thousand downloads last month - 248 stars on GitHub - 3 maintainers
dcap-qvl 0.7.1
Python bindings for DCAP (Data Center Attestation Primitives) quote verification library
28 versions - Latest release: 5 days ago - 11 thousand downloads last month - 47 stars on GitHub - 3 maintainers
atb-sdk 1.18.1
ATB bundle reader and verifier SDK
26 versions - Latest release: 28 days ago - 339 downloads last month - 0 stars on GitHub - 1 maintainer
scores 2.7.0
Scores is a Python package containing mathematical functions for the verification, evaluation and...
31 versions - Latest release: 2 months ago - 2 dependent repositories - 10.1 thousand downloads last month - 239 stars on GitHub - 1 maintainer
wal-lang 0.8.8
Wal - Wavefile Analysis Language
9 versions - Latest release: 5 months ago - 1 dependent repositories - 20.9 thousand downloads last month - 116 stars on GitHub - 2 maintainers
livvkit 3.4.1
The land ice verification and validation toolkit
15 versions - Latest release: 3 months ago - 1 dependent package - 5 dependent repositories - 253 downloads last month - 9 stars on GitHub - 2 maintainers
watch-skill 1.4.3 πŸ’°
Give any agent a video input: watch, index, ask, and iterate on video via MCP, CLI, REST, and Pyt...
6 versions - Latest release: 2 months ago - 2.1 thousand downloads last month - 561 stars on GitHub - 1 maintainer
crovly 1.0.3
Official Crovly Python SDK β€” verify captcha tokens
4 versions - Latest release: 8 months ago - 63 downloads last month - 0 stars on GitHub - 1 maintainer
Top 8.7% on pypi.org
verify-everything 0.2.16
LLM-based code review tool that finds issues tests and linters miss
31 versions - Latest release: about 2 months ago - 27.4 thousand downloads last month - 497 stars on GitHub - 1 maintainer
labyrinthe-connect 1.2.0
Official Python SDK for Labyrinthe Connect: send SMS and verify phone numbers (OTP) in the DR Con...
1 version - Latest release: about 11 hours ago - 1 maintainer
haluguard 0.5.3
CLI for haluguard β€” verify LLM output for hallucinations from your terminal, CI/CD, or auto-verif...
21 versions - Latest release: 6 months ago - 1 maintainer
iac-guard-v 1.0.3
Fail-closed verification of declared infrastructure invariants over protected IaC
15 versions - Latest release: about 8 hours ago - 254 downloads last month - 2 stars on GitHub - 1 maintainer
dafnyruntimepython 4.11.0
Dafny runtime for Python
11 versions - Latest release: about 1 year ago - 586 thousand downloads last month - 3,616 stars on GitHub - 1 maintainer
decision-cert 0.3.0
Verify and apply decision-certificate.v1: signed records of how a model's decisions were measured
3 versions - Latest release: about 8 hours ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
pythonrv 0.1.3
A runtime verification framework
4 versions - Latest release: almost 14 years ago - 4 dependent repositories - 11 downloads last month - 3 stars on GitHub - 1 maintainer
byebouncer-sdk 0.3.0
Official Python SDK for the ByeBouncer email, phone and IP data validation API.
5 versions - Latest release: about 9 hours ago - 117 downloads last month - 1 maintainer
plan-auditor 2.6.5
Deterministic verification and evidence auditing for AI coding agents: sealed plans, hash-chained...
18 versions - Latest release: about 11 hours ago - 540 downloads last month - 1 stars on GitHub - 1 maintainer
automr 1.1.7
A Model-Agnostic Metamorphic Testing Framework for Regression-Based AI/ML Models with High-Perfor...
33 versions - Latest release: 3 months ago - 3.24 thousand downloads last month - 0 stars on GitHub - 1 maintainer
Top 5.9% on pypi.org
smartystreets-python-sdk 8.3.0
An official library to help Python developers easily access the SmartyStreets APIs
111 versions - Latest release: 9 days ago - 2 dependent packages - 12 dependent repositories - 399 thousand downloads last month - 28 stars on GitHub - 1 maintainer
quantum-reasoning-skill 1.2.2
Quantum-inspired multi-branch reasoning for AI agents: explore, score, prune, and merge solution ...
11 versions - Latest release: about 11 hours ago - 421 downloads last month - 3 stars on GitHub - 1 maintainer
prodocux 0.3.0rc12
ProDocuX Kernel β€” deterministic document processing
11 versions - Latest release: about 11 hours ago - 660 downloads last month - 1 stars on GitHub - 1 maintainer
agent-action-capsule 0.15.0
Reference verifier for the Agent Action Capsule SCITT profile (draft-mih-scitt-agent-action-capsu...
21 versions - Latest release: 8 days ago - 2.91 thousand downloads last month - 2 stars on GitHub - 2 maintainers
agents-inc 0.6.2
agents-inc runs AI models the way a company runs staff: a Lead takes your request, delegates it d...
9 versions - Latest release: about 12 hours ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
Top 2.1% on pypi.org
green 4.0.2 πŸ’°
Green is a clean, colorful, fast python test runner.
149 versions - Latest release: over 2 years ago - 45 dependent packages - 249 dependent repositories - 16.3 thousand downloads last month - 804 stars on GitHub - 2 maintainers
keel-verifier 3.30.1
Independent verifier for Keel governance evidence
70 versions - Latest release: about 13 hours ago - 995 downloads last month - 4 stars on GitHub - 1 maintainer
agent-evidence-replay 0.1.0
Replay a lab-produced agent action record: recompute its digest chain and flag tamper or a gap
1 version - Latest release: about 14 hours ago - 5 stars on GitHub - 1 maintainer
organetic-yuce 0.1.7
A thin Python client of the YuCe audit server
3 versions - Latest release: about 14 hours ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
harness-audit-sidecar 0.10.1
Execution-layer audit sidecar for AI agent harnesses: four-valued verdicts judged against indepen...
1 version - Latest release: about 15 hours ago - 1 maintainer
axiomize 1.14.3
Reproducible scientific modeling engine and agent skill pack: versioned Model IR with explicit un...
20 versions - Latest release: about 16 hours ago - 756 downloads last month - 9 stars on GitHub - 1 maintainer
agentvow 0.5.3
Check a coding agent's claims against the repository before you approve.
15 versions - Latest release: about 17 hours ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
fastrecvsms 2.0.0
Enterprise SMS verification toolkit for security professionals
1 version - Latest release: 7 months ago - 28 downloads last month - 31 stars on GitHub - 1 maintainer
zambo-verify-pass 1.0.5
The verify pass for AI agents on Zambo: take a claim plus its receipt link, check the receipt at ...
6 versions - Latest release: about 19 hours ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
ainra 0.8.0
Independent Python implementation of the AINRA agent-passport verifier (verify-only, offline, fai...
6 versions - Latest release: about 20 hours ago - 250 downloads last month - 0 stars on GitHub - 1 maintainer
pq-verify 2.17.0
Independent verification for ML-KEM / ML-DSA / SLH-DSA / LMS / XMSS implementations β€” vendor-libr...
16 versions - Latest release: about 20 hours ago - 621 downloads last month - 0 stars on GitHub - 1 maintainer
cgd-creator 0.0.1
Create Clarity-Gated Documents (.cgd) with epistemic markers for safe LLM ingestion
1 version - Latest release: 10 months ago - 10 downloads last month - 34 stars on GitHub - 1 maintainer
sot-generator 0.0.1
Generate Source of Truth (.sot) files using LLM assistance - epistemic quality for AI-safe docume...
1 version - Latest release: 10 months ago - 5 downloads last month - 34 stars on GitHub - 1 maintainer
sot-verify 0.1.1
Quick verification for Source of Truth (.sot) files - returns pass/fail for CI/CD pipelines
2 versions - Latest release: 10 months ago - 11 downloads last month - 34 stars on GitHub - 1 maintainer
cgd-generator 0.0.1
Generate Clarity-Gated Documents (.cgd) using LLM assistance - epistemic markers for safe LLM ing...
1 version - Latest release: 10 months ago - 13 downloads last month - 34 stars on GitHub - 1 maintainer
cgd-verify 0.1.1
Quick verification for Clarity-Gated Document (.cgd) files - returns pass/fail for CI/CD pipelines
2 versions - Latest release: 10 months ago - 9 downloads last month - 34 stars on GitHub - 1 maintainer
sot-creator 0.0.1
Create Source of Truth (.sot) files from documents - epistemic quality for AI-safe documentation
1 version - Latest release: 10 months ago - 1 downloads last month - 34 stars on GitHub - 1 maintainer
memory-trail 0.0.1
Decision memory and session logging for AI-assisted development - track architectural decisions a...
1 version - Latest release: 10 months ago - 9 downloads last month - 34 stars on GitHub - 1 maintainer
clarity-gate 1.0.0
Pre-ingestion verification for epistemic quality in RAG systems
1 version - Latest release: 10 months ago - 9 downloads last month - 34 stars on GitHub - 1 maintainer
nenrin-verify 0.9.0
Recompute NENRIN evidence yourself, offline: A2A task provenance, two-party agreement records, TS...
26 versions - Latest release: 4 days ago - 1.22 thousand downloads last month - 2 stars on GitHub - 1 maintainer
facesign-api 1.0.19
Official Python SDK for FaceSign identity verification API
1 version - Latest release: over 1 year ago - 10 downloads last month - 1 stars on GitHub - 1 maintainer
Top 8.7% on pypi.org
verif 1.4.0
A verification program for meteorological forecasts and observations
22 versions - Latest release: 5 months ago - 1 dependent package - 5 dependent repositories - 560 downloads last month - 103 stars on GitHub - 1 maintainer
gpa-verify 1.7.3
Independent verifier for GetProofAnchor evidence bundles
11 versions - Latest release: 10 days ago - 21 downloads last month - 0 stars on GitHub - 1 maintainer
constrain 0.8.0
ConStrain is a data-driven knowledge-integrated framework that automatically verifies that buildi...
21 versions - Latest release: 4 months ago - 3 dependent repositories - 47 downloads last month - 8 stars on GitHub - 2 maintainers
intyga-verify 2.4.0
Offline verifier for INTYGA approval receipts β€” no INTYGA secret, no network
8 versions - Latest release: about 24 hours ago - 220 downloads last month - 0 stars on GitHub - 1 maintainer
agent-evidence-verify 0.5.1
Check claims against pinned evidence offline, with replayable decisions
2 versions - Latest release: about 24 hours ago - 5 stars on GitHub - 1 maintainer
behavry-verify 0.2.1
Independently verify Behavry APR evidence packages offline, with no Behavry account.
2 versions - Latest release: 3 months ago - 31 downloads last month - 0 stars on GitHub - 1 maintainer
agentharness-verifier 0.1.0
Independent, auditable verification for coding-agent claims
1 version - Latest release: 4 months ago - 26 downloads last month - 0 stars on GitHub - 1 maintainer
fors33-verifier 0.12.1
Verify attested data segments. Standalone SHA-256 verification for data provenance.
15 versions - Latest release: about 1 month ago - 443 downloads last month - 0 stars on GitHub - 1 maintainer
conseqa 0.1.1
Verify what your agent actually changed: the Conseqa SDK for Python
2 versions - Latest release: 1 day ago - 0 downloads last month - 1 maintainer
trustcheck 2.2.3
Package trust and provenance verification for PyPI consumers.
33 versions - Latest release: 4 months ago - 231 downloads last month - 62 stars on GitHub - 1 maintainer
capsule-emit 0.15.0
One-call seal() for Agent Action Capsules β€” checkpointed and witnessed by the witness you name, l...
29 versions - Latest release: 7 days ago - 1.7 thousand downloads last month - 0 stars on GitHub - 2 maintainers
hagelslag 0.6
Hagelslag is a Python package for storm-based analysis, forecasting, and evaluation.
5 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 128 downloads last month - 73 stars on GitHub - 1 maintainer
Top 7.6% on pypi.org
bark-simulator 1.4.10
A tool for Behavior benchmARKing
47 versions - Latest release: over 4 years ago - 2 dependent repositories - 893 downloads last month - 309 stars on GitHub - 4 maintainers
aiir 1.7.0
AI Integrity Receipts β€” cryptographic receipts for commits with declared AI involvement
24 versions - Latest release: 5 months ago - 160 downloads last month - 4 stars on GitHub - 1 maintainer
qwed-mcp 0.2.3 πŸ’°
MCP Server for QWED Verification - Use QWED verification tools in Claude Desktop, VS Code, and an...
4 versions - Latest release: 6 days ago - 45 downloads last month - 0 stars on GitHub
certo 0.2.2
A coding-agent harness that isn't tied to one model or provider: it picks a model per task, switc...
19 versions - Latest release: 1 day ago - 0 downloads last month - 7 stars on GitHub - 1 maintainer
qwed-open-responses 0.6.1 πŸ’°
Verification guards for OpenAI Responses API - Verify AI agent outputs before execution
8 versions - Latest release: about 1 month ago - 243 downloads last month - 1 stars on GitHub
solvi 1.6.0
Decision systems from a catalog of Python functions and checks: a strategist plans the flow, ever...
25 versions - Latest release: 1 day ago - 2.14 thousand downloads last month - 4 stars on GitHub - 1 maintainer
sardis-protocol 1.1.0 πŸ’°
AP2/TAP mandate schemas and verifiers for Sardis
6 versions - Latest release: 8 months ago - 21 downloads last month - 6 stars on GitHub - 1 maintainer
agentic-transfer-verifier 0.2.1
Local verifier for agentic data handoffs: envelope, provenance, trust, authority, identity, capab...
1 version - Latest release: 2 months ago - 490 downloads last month - 0 stars on GitHub - 1 maintainer
bibtex-verifier 0.2.0
Verify BibTeX references against OpenAlex, CrossRef and DataCite
3 versions - Latest release: about 1 month ago - 164 downloads last month - 26 stars on GitHub - 1 maintainer
epsilon-attestation-verifier 1.1.0
Standalone tool to verify AWS Nitro Enclave attestation documents from Epsilon
2 versions - Latest release: 8 months ago - 19 downloads last month - 0 stars on GitHub - 1 maintainer
ed521rs 0.1.0
Fast Ed521 (EdDSA over E-521, ICP-Brasil DOC-ICP-01.01) signature verification, in Rust
1 version - Latest release: 1 day ago - 1 maintainer
assayhq 0.1.0
Execution-grounded security verifier for AI agent skills
1 version - Latest release: 1 day ago - 0 stars on GitHub - 1 maintainer
laelaps 0.0.7
Catchall email alias monitor and verifier
7 versions - Latest release: 1 day ago - 25 downloads last month - 7 stars on GitHub - 1 maintainer
loopagent-gate 0.4.2
Accept agent work by proof, not by confidence: gates that print a marker and refuse to take the a...
1 version - Latest release: 1 day ago - 0 stars on GitHub - 1 maintainer
fable-engine 1.3.9
Independent deterministic System 2 cognitive engine and mechanical time-lock MCP server
9 versions - Latest release: about 2 months ago - 1.18 thousand downloads last month - 26 stars on GitHub - 1 maintainer
dos-kernel 0.30.0
Dispatch Operating System β€” the domain-free trust substrate for fleets of autonomous agents (verd...
9 versions - Latest release: 4 months ago - 484 downloads last month - 21 stars on GitHub - 1 maintainer
Top 2.1% on pypi.org
cocotb 2.1.0
Python-based chip (RTL) verification
47 versions - Latest release: 2 months ago - 17 dependent packages - 71 dependent repositories - 517 thousand downloads last month - 2,567 stars on GitHub - 3 maintainers
math-verify 0.9.0
HuggingFace library for verifying mathematical answers
18 versions - Latest release: 10 months ago - 3.43 million downloads last month - 1,203 stars on GitHub - 1 maintainer
pregen 0.12.0
Verify PRE-GEN signatures against the signed registry directory, with the PRE-GEN steward key bui...
14 versions - Latest release: 1 day ago - 941 downloads last month - 0 stars on GitHub - 1 maintainer
onetrace-verify 0.7.1
Reference verifier for stage-receipt records -- standard library only, no dependency on onetrace
12 versions - Latest release: 3 days ago - 643 downloads last month - 0 stars on GitHub - 1 maintainer
agent-security-harness 4.30.0
661 security tests for AI agent systems - MCP, A2A, L402, x402, UCP/ACP merchant-journey, AP2 man...
51 versions - Latest release: 1 day ago - 1.67 thousand downloads last month - 33 stars on GitHub - 1 maintainer
verifiable-agent-core 0.1.4
Make an agent's "I wrote it" fail loudly: a stdlib-only delivery gate that refuses wrong filename...
2 versions - Latest release: 3 days ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
finanzonline-uid 2.7.14
Python library and CLI for querying Level 2 UID checks via FinanzOnline Austria
29 versions - Latest release: 15 days ago - 164 downloads last month - 1 stars on GitHub - 1 maintainer
bitexoft-verify 0.3.1
Verifica las entregas de los proyectos de Bitexoft: la misma herramienta en tu mΓ‘quina y en CI.
4 versions - Latest release: 1 day ago - 0 downloads last month - 1 maintainer
glassbox-framework 1.0.2
Glass Box Framework β€” runtime constitutional verification for AI answers. Every claim carries a r...
3 versions - Latest release: 6 months ago - 19 downloads last month - 11 stars on GitHub - 1 maintainer
git-preflight-gate 0.1.7
Pre-write preflight gate (bash) and CI authority gate (Python composite action): fail-closed, sta...
2 versions - Latest release: 2 days ago - 0 stars on GitHub - 1 maintainer
nemo-gym 0.7.0
NeMo Gym is a library for building reinforcement learning environments
9 versions - Latest release: 27 days ago - 158 thousand downloads last month - 1,320 stars on GitHub - 2 maintainers
veriflow 0.4.1
A verification pipeline for evaluating models and forecasts.
6 versions - Latest release: 5 months ago - 31 downloads last month - 10 stars on GitHub - 1 maintainer
http-api-tool 1.1.8
A Python HTTP/HTTPS API testing tool for GitHub Actions and CLI usage
18 versions - Latest release: 2 days ago - 451 downloads last month - 2 stars on GitHub - 1 maintainer
zodbverify 1.2.1 πŸ’°
Check if all data from a ZODB can be loaded
6 versions - Latest release: 11 months ago - 1 dependent repositories - 385 downloads last month - 2 stars on GitHub - 2 maintainers
mcp-claimcheck 0.1.0a1
Pre-alpha: runtime semantic verification for MCP tool calls. It will check whether a tool actuall...
1 version - Latest release: 1 day ago - 1 maintainer
cogno-herald 0.1.1
Email/SMTP + iCalendar + OTP for the Cogno stack β€” stdlib-only delivery with an injectable OTP st...
2 versions - Latest release: 1 day ago - 17 downloads last month - 0 stars on GitHub - 1 maintainer
analint 0.0.5
Analytics linter β€” describe your system in Python, validate consistency
5 versions - Latest release: 1 day ago - 17 downloads last month - 0 stars on GitHub - 1 maintainer
vendorval-sdk 0.11.0
Official Python SDK for the VendorVal API
4 versions - Latest release: 3 days ago - 19 downloads last month - 0 stars on GitHub - 1 maintainer
verieffect 0.2.0a3
Independent deterministic verification for AI agents β€” signed, offline-verifiable receipts
3 versions - Latest release: 3 days ago - 0 stars on GitHub - 1 maintainer
emilia-verify 2.9.0
Zero-infrastructure verification of EMILIA Protocol trust receipts (Ed25519 + Merkle). Byte-compa...
22 versions - Latest release: about 1 month ago - 2.69 thousand downloads last month - 562 stars on GitHub - 1 maintainer
agent-evidence-observer 0.2.0
Check retained agent-evidence packets, histories and native reports offline
7 versions - Latest release: 2 days ago - 0 downloads last month - 5 stars on GitHub - 1 maintainer
encypher-c2pa 1.10.0 πŸ’°
Verification-only C2PA 2.2/2.4/2.5 and CAWG SDK, offline by default
21 versions - Latest release: 7 days ago - 2.1 thousand downloads last month - 1 stars on GitHub - 1 maintainer
bilinc 2.6.2
Cloud-only memory SDK and MCP adapter for autonomous agents
40 versions - Latest release: 3 days ago - 728 downloads last month - 0 stars on GitHub - 1 maintainer
wittgenstein-rag 0.3.1
A self-aware review layer for RAG pipelines: flags the retrieved text and answer sentences most l...
3 versions - Latest release: 3 days ago - 0 stars on GitHub - 1 maintainer
done-claim-auditor 1.0.0
Audit an AI agent's completion claims against its own session transcript β€” every claim EVIDENCED,...
1 version - Latest release: 2 days ago - 0 stars on GitHub - 1 maintainer
causal-testing-framework 16.0.0
A framework for causal testing using causal directed acyclic graphs.
52 versions - Latest release: 23 days ago - 357 downloads last month - 20 stars on GitHub - 3 maintainers