npm
qudusadeyemi/usesense-web-sdk
Опис репозиторію не опубліковано.
Без ліцензії18 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#verification
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
142 записи
npm · PyPI · RubyGems +3
Blue-Scroll/hap
When sending costs fractions of a cent, recipients drown. HAP (Human Attestation Protocol) is an open standard that lets senders prove they made real, non-fakeable effort to reach you so recipients can prioritize signal over noise.
Apache-2.019 вер. 2026 р. · метрики 2.10.0
PyPI
will-keen/constrainedrandom
A Python package for creating and solving constrained randomization problems.
MIT19 вер. 2026 р. · метрики 2.10.0
NuGet
approvals/ApprovalTests.Net
ApprovalTest verification library for .Net
Власна ліцензія11 вер. 2026 р. · метрики 2.10.0
PyPI
getprusik/prusik
Deterministic, evidence-based build harness for autonomous coding agents — FSM sprint gates, execution-evidence verification, and adversarial critics. Proof, not opinion.
Apache-2.010 вер. 2026 р. · метрики 2.10.0
npm · Maven · RubyGems
onfido/react-native-sdk
Опис репозиторію не опубліковано.
MIT15 вер. 2026 р. · метрики 2.10.0
PyPI
huggingface/Math-Verify
Опис репозиторію не опубліковано.
Apache-2.017 вер. 2026 р. · метрики 2.10.0
Go · PyPI
kordloom/loomseal
An open format for evidence someone else can check. One signed, chained, anchored file, verified offline by a free Apache-2.0 tool with no account and no server.
Apache-2.020 вер. 2026 р. · метрики 2.10.0
PyPI
CharlesCNorton/touchstone
An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.
MIT9 вер. 2026 р. · метрики 2.10.0
npm
fischer-jan/zeitstempel-react
A lightweight TypeScript library for the full OpenTimestamps lifecycle: stamp, upgrade, and verify -- with optional React components. Works in browsers and Node.js. Zeitstempel is German for "timestamp". This is the TypeScript sibling of zeitstempel, a Rust CLI for the same purpose.
MIT20 вер. 2026 р. · метрики 2.10.0
npm
DhanushMurugesanG/TraceOn
TraceOn is an MCP server that Claude Code calls after editing code to verify the change actually works end-to-end. It runs a Playwright test the agent wrote, correlates browser evidence with backend traces and logs via OpenTelemetry, ranks the evidence into a compact packet, and returns a structured VerificationResult that the agent reasons over.
MIT12 вер. 2026 р. · метрики 2.10.0
npm
misunders2d/pi-goal
Опис репозиторію не опубліковано.
MIT19 лип. 2026 р. · метрики 2.10.0
Packagist
readdle/app-store-receipt-verification
Pure PHP library that allows receipts parsing/validation/verification without API calls to the App Store Server API
MIT8 вер. 2026 р. · метрики 2.10.0
npm
Strixgov/strix
Опис репозиторію не опубліковано.
MIT15 вер. 2026 р. · метрики 2.10.0
npm
innovatrics/dot-js-kit
Face, ID document and palm photo web auto-capture components for identity verification in JavaScript
Власна ліцензія19 жовт. 2026 р. · метрики 2.10.0
PyPI
CharithManaujayaMUTEC/AutoMR-Framework
AutoMR-Framework
Без ліцензії5 вер. 2026 р. · метрики 2.10.0
npm
sebaxzero/pi-canary
Pi extension — silently verifies agent context awareness every turn using hidden canary tokens
Без ліцензії13 вер. 2026 р. · метрики 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.011 вер. 2026 р. · метрики 2.10.0
PyPI
syrusakbary/validate_email
Validate_email verify if an email address is valid and really exists
Власна ліцензія12 вер. 2026 р. · метрики 2.10.0
RubyGems
grempe/sirp
Secure (interoperable) Remote Password Auth (SRP-6a)
Власна ліцензія11 вер. 2026 р. · метрики 2.10.0
npm
IPeCompany/SmsPanelV2.TypeScript
TypeScript Package
MIT18 вер. 2026 р. · метрики 2.10.0
NuGet
kavenegar/kavenegar-dotnet
Kavenegar API Client Writen In C#
Без ліцензії6 вер. 2026 р. · метрики 2.10.0