PostgreSQL backup tool with Point-In-Time-Recovery and restore verification
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
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
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
All algorithm implementations like signature verification and protocol entries like address used in Waves protocol.
- cryptography
- crypto
- signature
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
Is this app legit? Check before you connect. Free URL security scanner for indie developers and AI builders. Live at trustscanpro.com
- nextjs
- open-source
- phishing-detection
- scam-detection
Safety-first PostgreSQL migration engine for Node.js — advisory locks, drift detection, checksum verification, 10 lint rules, CLI, and GitHub Action
Send OTP verification messages via DataFlows SMS API for Supabase Auth
- australia
- authentication
- edge-functions
- otp
Catch silent failures in agent workflows by verifying real system state