crates.io · npm
trustoverip/dtgwg-trust-tasks-tf
Trust Tasks - Transport Agnostic protocol for managing Tasks
Власна ліцензія22 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#verification
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
81 запис
crates.io · PyPI
dshakes/firstpass
Route every LLM request to the cheapest model that provably passes your quality gate — with a signed, tamper-evident receipt for every decision. Proof over prediction.
Apache-2.026 лип. 2026 р. · метрики 2.10.0
npm
agledger-ai/sdk
AGLedger™ SDK — Accountability and audit infrastructure for agentic systems. Patent Pending.
Власна ліцензія15 лип. 2026 р. · метрики 2.10.0
PyPI · npm
wesleysimplicio/simplicio-dev-cli
Your tasks with 99% accuracy using any LLM (Claude, DeepSeek, Codex, Gemini, Hermes, OpenClaw, Cursor).
Власна ліцензія31 лип. 2026 р. · метрики 2.10.0
Go · PyPI
action-state-group/agent-action-capsule
Agent Action Capsule — an open SCITT statement profile for recording and verifying what an AI agent did (draft-mih-scitt-agent-action-capsule)
Власна ліцензія16 лип. 2026 р. · метрики 2.10.0
npm
andrestobelem/pandi-extensions
PI Coding Dynamic Workflows
MIT21 лип. 2026 р. · метрики 2.10.0
npm
Majikah/majik-signature
Majik Signature is a hybrid post-quantum content signing and verification library for the Majikah ecosystem. Built on top of Majik Key, it provides tamper-proof, forgery-resistant digital signatures for any content format — using a dual-algorithm architecture that combines classical Ed25519 with post-quantum ML-DSA-87 (FIPS-204).
Власна ліцензія19 лип. 2026 р. · метрики 2.10.0
Go
rrrrrredy/beforedone
Require fresh, file-bound verification evidence before coding agents declare completion.
Apache-2.01 серп. 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.
MIT16 лип. 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.017 лип. 2026 р. · метрики 2.10.0
PyPI
huggingface/Math-Verify
Опис репозиторію не опубліковано.
Apache-2.013 серп. 2026 р. · метрики 2.10.0
npm
misunders2d/pi-goal
Опис репозиторію не опубліковано.
MIT19 лип. 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.
MIT22 лип. 2026 р. · метрики 2.10.0
npm
sebaxzero/pi-canary
Pi extension — silently verifies agent context awareness every turn using hidden canary tokens
Без ліцензії25 лип. 2026 р. · метрики 2.10.0
npm
Strixgov/strix
Опис репозиторію не опубліковано.
MIT1 серп. 2026 р. · метрики 2.10.0
PyPI
CharithManaujayaMUTEC/AutoMR-Framework
AutoMR-Framework
Без ліцензії5 вер. 2026 р. · метрики 2.10.0
PyPI
syrusakbary/validate_email
Validate_email verify if an email address is valid and really exists
Власна ліцензія21 лип. 2026 р. · метрики 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.019 лип. 2026 р. · метрики 2.10.0
npm
TychoHenzen/dod-guard
Опис репозиторію не опубліковано.
Без ліцензії22 серп. 2026 р. · метрики 2.10.0
RubyGems
grempe/sirp
Secure (interoperable) Remote Password Auth (SRP-6a)
Власна ліцензія20 лип. 2026 р. · метрики 2.10.0
NuGet
kavenegar/kavenegar-dotnet
Kavenegar API Client Writen In C#
Без ліцензії6 вер. 2026 р. · метрики 2.10.0