🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS, SMTP and even more. Be sure that email address valid and exists.
- go
- golang
- go-package
Repository Index
47,133 repositories indexed
25–48 of 52 · Most stars
TranslatedSimple Reviewer: a Codex skill for AI-assisted coding and Vibe Coding. Explain code, visualize workflows, and verify goals with evidence.
- ai-agents
- ai-assisted-coding
- code-explanation
- code-quality
Collection of ssl verification functions for Erlang
PDF extraction that audits its own output — and certifies any other extractor's, catching pages they silently dropped. Verify signed manifests offline: free, MIT, no account. 0.903 on opendataloader-bench, #2 of 8 engines. 7-tool MCP server.
A tool to verify that your files are in harmony with your .editorconfig
- editorconfig
- composer
- editorconfig-checker
- php
Open standard for Provenance & Intent Contracts (PIC) in AI agents. Verify intent, provenance, and evidence before high-impact tool calls.
- action-proposals
- agentic-ai
- agents
- ai
📚 Only Cite what you can verify
- arxiv
- bibliography
- bibtex
- citation
A plugin help you to copy your two-factor verify code in Powertoys Run
- powertoys
- powertoys-run
- powertoys-run-plugin
Web app that can hash/hmac, encrypt/decrypt, and sign/verify the data, debug JWT tokens, parse and edit ASN1 structures, compute diffs, and more
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Support for rendering a Blazor Component to a verified file via bunit or raw Blazor rendering.
- blazor
- bunit
- testing
- snapshot-testing
CLI tool that helps verify current status of URIs in text files
- golang
- url
- validation
- cli
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Graviton: verify your TEAL program by experiment and observation
- algorand
- avm
- blockchain
- pyteal
BuyWhere MCP server — search 300M+ products across US, Singapore & SEA via Model Context Protocol. Agents self-register a free key in one POST (no email): api.buywhere.ai/v1/auth/register?verify=false
Simple reCaptcha display/verify code for Elixir applications. Using Exrecaptcha with a CMS such as Phoenix is easy.
An Elixir library to sign and verify HTTP requests using AWS Signature V4
- aws-signature
- elixir-library
- authentication
Tamper-evident audit log for Go: an append-only, hash-chained, optionally Ed25519-signed log/slog handler, with offline logx verify. Built on the standard library, zero third-party dependencies. Also a full slog toolkit (colored output, JSON, rotation, fan-out, CLI).
- cli
- go
- golang
- slog
Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dynamodb, and sns
- aws-cdk
- dynamodb
- lambda
- dotnet
Elixir library for signing and verifying BEAM files with Ed25519 signatures
Go SDK for Tickstem — email verification for production apps
An Elixir Plug to verify HTTP requests signed with AWS Signature V4
- elixir-plug
- aws-signature
- authentication