npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.0Sep 6, 2026 · metrics 2.10.0
All tags
Catalogue tag
#verification
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.
142 records
npm
basilisk-labs/agentplane
🛩️ Git-native workflow control for coding agents: approved plans, verification, and reviewable evidence for Claude Code, Codex, Cursor, and Aider.
MITSep 6, 2026 · metrics 2.10.0
npm
griffinwork40/agent-afk
The coding agent you don’t have to watch. Start a task and walk away. AFK builds the feature, verifies its own work, and texts you when it’s done. You come back to a receipt of every step, every decision, and what’s waiting on you. If it’s unsure, it stops and asks instead of guessing.
Apache-2.0Oct 20, 2026 · metrics 2.10.0
npm
smarty/smartystreets-javascript-sdk
The official client libraries for accessing SmartyStreets APIs from javascript.
Apache-2.0Sep 18, 2026 · metrics 2.10.0
—
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
BSD-3-ClauseSep 11, 2026 · metrics 2.10.0
npm · PyPI
jamditis/claude-skills-journalism
Claude Code skills for journalism, media, and academia - verification, FOIA, data journalism, academic writing, and more
MITSep 19, 2026 · metrics 2.10.0
crates.io · Maven
rustls/rustls-platform-verifier
A certificate verification library for rustls that uses the operating system's verifier
Apache-2.0Sep 17, 2026 · metrics 2.10.0
crates.io · npm · PyPI +1
Phala-Network/dcap-qvl
No repository description published.
MITSep 13, 2026 · metrics 2.10.0
crates.io
aretta-ai/aristo
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
MITSep 13, 2026 · metrics 2.10.0
—
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Apache-2.0Oct 19, 2026 · metrics 2.10.0
npm
paveg/hono-webhook-verify
Webhook signature verification middleware for Hono. Supports Stripe, GitHub, Slack, Shopify, Twilio and custom providers.
MITSep 18, 2026 · metrics 2.10.0
PyPI
sectum-ai/sectum-ai
AI data-isolation verification — prove no user or customer can reach another's data across 13 AI surfaces, with tamper-evident evidence anyone can verify.
Apache-2.0Sep 9, 2026 · metrics 2.10.0
NuGet
soenneker/soenneker.instantly.suite
A comprehensive suite of utility libraries for Instantly.ai's API
MITSep 9, 2026 · metrics 2.10.0
Go
franchoy/coldkeep
Coldkeep is a correctness-first, content-addressed cold-storage engine with deterministic restore, integrity verification, safe garbage collection, deduplication, transform-aware packed storage, and a reusable engine/catalog core. v1.x is complete and frozen; v2.x is planned for local-first productization.
Apache-2.0Oct 19, 2026 · metrics 2.10.0
Go
getyoti/yoti-go-sdk
The Go SDK for interacting with the Yoti Platform
MITOct 19, 2026 · metrics 2.10.0
NuGet
soenneker/soenneker.instantly.verification
A .NET typesafe implementation of Instantly.ai's Verification API
MITSep 11, 2026 · metrics 2.10.0
NuGet
soenneker/soenneker.sendgrid.validation
A .NET typesafe implementation of SendGrid's Validation API
MITSep 6, 2026 · metrics 2.10.0
npm · crates.io · Go
zerkerlabs/treeship
Portable trust receipts for agent workflows. Signed, chained, verifiable.
Apache-2.0Oct 1, 2026 · metrics 2.10.0
PyPI
fathom-lab/styxx
Verification for the agent era. Your coding agent's PR summary cannot lie about its diff - one CI line. Plus the research: the first map of which AI minds can read each other. Every claim machine-verified against committed receipts, negatives included. pip install styxx
MITOct 19, 2026 · metrics 2.10.0
crates.io · npm
hypothesi/mcp-server-tauri
A Model Context Protocol (MCP) server and plugin for Tauri v2 development
MITOct 21, 2026 · metrics 2.10.0
npm · crates.io
pulseengine/rivet
Rivet — SDLC traceability for safety-critical systems. Schema-driven artifact management, validation, and lifecycle linking. Part of the PulseEngine toolchain.
No licenseSep 11, 2026 · metrics 2.10.0
npm · PyPI
raccioly/testguard
Claim-driven mutation testing: inject faults and report what your tests miss. Vitest, Jest, Playwright, pytest & unittest. Part of the Guard family with DocGuard and WebSec Validator.
MITSep 29, 2026 · metrics 2.10.0
crates.io
symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
GPL-3.0Sep 19, 2026 · metrics 2.10.0
crates.io
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
MPL-2.0Sep 12, 2026 · metrics 2.10.0
PyPI · npm
QWED-AI/qwed-open-responses
Verification guards for OpenAI Responses API - Verify AI agent outputs before execution
Apache-2.0Sep 18, 2026 · metrics 2.10.0
Packagist
getyoti/yoti-php-sdk
The PHP SDK for interacting with the Yoti Platform
MITSep 15, 2026 · metrics 2.10.0
PyPI
linkchecker/linkchecker
check links in web documents or full websites
GPL-2.0Sep 14, 2026 · metrics 2.10.0
PyPI
msaleme/red-team-blue-team-agent-fabric
AI agent security harness, adversarial testing: 623 executable tests in the v4.21.3 release, across MCP, A2A, x402/L402, decision governance, benchmark integrity, human-in-the-loop, skill supply chain. Four target shapes: a verdict must be able to be wrong AND to be right. OWASP Agentic v1.1 T1-T17, AIUC-1 19/20 (2026-Q1/Q2 set), NIST AI 800-2.
Apache-2.0Sep 11, 2026 · metrics 2.10.0
crates.io
reacherhq/check-if-email-exists
Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.
MITOct 10, 2026 · metrics 2.10.0
PyPI · npm
rtl-buddy/rtl_buddy
RTL Buddy is a Python CLI for Verilog and SystemVerilog regression testing, Verilator and VCS simulation workflows, coverage, and YAML-based RTL verification automation.
BSD-3-ClauseSep 18, 2026 · metrics 2.10.0