Find, verify, and analyze leaked credentials
- secret
- trufflehog
- credentials
- security
Repository Index
47,133 repositories indexed
1–24 of 52 · Most stars
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWASP Mobile Security Weakness Enumeration (MASWE) weaknesses, which are in alignment with the OWASP MASVS.
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
- key-value
- immutable
- merkle-tree
- go
Open-source observability for AI agents. Find where your agents fail, dispatch your coding agent to fix it, and verify the fix against real traces.
- llm-observability
- agent-monitoring
- agent-observability
- ai-error-monitor
Verify is a snapshot testing tool that simplifies the assertion of complex data models and documents.
- snapshot-testing
- testing
- assertion-library
- snapshot
bUnit is a testing library for Blazor components that make tests look, feel, and runs like regular unit tests. bUnit makes it easy to render and control a component under test’s life-cycle, pass parameter and inject services into it, trigger event handlers, and verify the rendered markup from the component using a built-in semantic HTML comparer.
- razor-components
- unit-testing
- blazor
- blazor-components
Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.
- artifact-integrity
- pptx
- python
- supply-chain-security
:white_check_mark: Validate links in awesome projects
- circleci
- travis-ci
- danger
- tool
RSA public/private key generation, RSA, AES encryption/decryption, RSA sign/verify in Swift with CommonCrypto in iOS and OS X
- ios
- crypt
- swift
- rsa
Reading and Validating In App Purchase Receipt Locally.
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
- hardware
- verification
- hdl
- simulator
Shift-left API Integration | Auto-fix integration drift before integration. Specmatic turns API specifications into executable contracts, continuously verifying that every change made by AI coding agents and engineers stays true to the desired behaviour. Ship AI-ready APIs 10x faster, from intent to implementation, with Spec-Driven API Development.
- contract-testing
- microservices
- contract-driven-development
- cdd
A Claude skill for directing, building and verifying code-rendered videos (HTML/Canvas → MP4): principles, gated workflow, QA scripts and evals.
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Create and verify JSON Web Tokens (JWT) with Deno or the browser.
- deno
- jwt
- jsonwebtoken
- authentication
Find, verify and organize your game library. Native Windows and Docker, DAT checks, ROM Hub plugins, and optional RomM/Cartridge integration.
ShowStopper is a tool for helping malware researchers explore and test anti-debug techniques or verify debugger plugins or other solutions that clash with standard anti-debug methods.
Vue.js + Rails Starting Kit GitHub Template to develop Hybrid Mobile Application: https://vuejs-rails-starterkit.herokuapp.com
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Your users download a 4GB AI model, the connection drops at 3.8GB, verifyfetch resumes from 3.8GB and verifies every byte. Drop-in integrity verification for Transformers.js, WebLLM, and any large file in the browser.
- ai-models
- browser
- fetch
- integrity
preflight helps you verify scripts and executables to mitigate chain of supply attacks such as the recent Codecov hack.
Agent skills that make DeepSeek models plan, verify and ship like frontier models. npx skills add aicodeking/deepseek-stack
A Go test assertion library for verifying that two representations of JSON are semantically equal
- assertion-library
- golang
- go
- testing