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.

39 records

Tagged “verification”Ranked by health index

npm

53Moderatehealth index

andrestobelem/pandi-extensions

PI Coding Dynamic Workflows

JavaScript · TypeScript★ 2↓ 13.4K/moJul 21, 2026

MITJul 21, 2026 · metrics 1.13.0

npm

51Moderatehealth index

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).

TypeScript★ 1↓ 2,461/moJul 19, 2026

Custom licenseJul 19, 2026 · metrics 1.13.0

PyPI

49At riskhealth index

CharlesCNorton/touchstone

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

Python★ 8↓ 32K/moJul 16, 2026

MITJul 16, 2026 · metrics 1.13.0

PyPI

47At riskhealth index

getprusik/prusik

Deterministic, evidence-based build harness for autonomous coding agents — FSM sprint gates, execution-evidence verification, and adversarial critics. Proof, not opinion.

Python★ 0↓ 2,175/moJul 17, 2026

Apache-2.0Jul 17, 2026 · metrics 1.13.0

npm

45At riskhealth index

misunders2d/pi-goal

No repository description published.

TypeScript★ 0↓ 2,907/moJul 19, 2026

MITJul 19, 2026 · metrics 1.13.0

npm

43At riskhealth index

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.

TypeScript★ 0↓ 2,384/moJul 22, 2026

MITJul 22, 2026 · metrics 1.13.0

PyPI

32At riskhealth index

syrusakbary/validate_email

Validate_email verify if an email address is valid and really exists

Python★ 591Jul 21, 2026

Custom licenseJul 21, 2026 · metrics 1.13.0

—

19Criticalhealth index

leanprover/lean3

Lean Theorem Prover

C++ · Lean★ 2,155Jul 19, 2026

Apache-2.0Jul 19, 2026 · metrics 1.13.0

RubyGems

17Criticalhealth index

grempe/sirp

Secure (interoperable) Remote Password Auth (SRP-6a)

Ruby★ 29Jul 20, 2026

Custom licenseJul 20, 2026 · metrics 1.13.0