Self-healing Docker CI: BuildKit failure taxonomy, Claude Code fixes, rebuild verification, capped retries.
Repository Index
47,133 repositories indexed
73–96 of 103 · Most stars
Collection of ssl verification functions for Erlang
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Search the web and primary sources, read full pages, and check every citation. MCP server for Claude, Cursor, Codex and more. Runs on your machine.
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
reCAPTCHA v3 Cloudflare Worker
- cloudflare-workers
- cloudflare-worker
- cloudflare
- recaptcha
The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.
- safety
- scenario
GitHub App authentication for Go: installation tokens, JWTs and PATs as oauth2.TokenSource, plus webhook signature verification and KMS/HSM signing
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Chart signing and verification with GnuPG for Helm.
- helm
- gpg
- gnupg
- helm-plugin
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
- agent-orchestration
- cli
- developer-tools
- llm-agents
Capture, inspect, and replay webhooks with 90-day history + signature verification. Built on Cloudflare Workers + D1.
The repository host gives no description.
🔥 n01d-forge - Secure Cross-Platform Image Burner with Encryption | LUKS, VeraCrypt, Secure Erase, Hash Verification
- bootable-usb
- cross-platform
- encryption
- etcher-alternative
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
All algorithm implementations like signature verification and protocol entries like address used in Waves protocol.
- cryptography
- crypto
- signature
Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dynamodb, and sns
- aws-cdk
- dynamodb
- lambda
- dotnet
Privacy-first Chrome extension for real-time website security analysis using on-device AI. Trust scores (0-100), phishing detection, SSL verification, cookie compliance & AI chatbot powered by WebLLM with zero external data transmission.
- browser-extension
- chrome-extension
- cybersecurity
- on-device-ai