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
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.
A TLA+ interpreter and model checker in TypeScript
All algorithm implementations like signature verification and protocol entries like address used in Waves protocol.
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.
Is this app legit? Check before you connect. Free URL security scanner for indie developers and AI builders. Live at trustscanpro.com
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
Catch silent failures in agent workflows by verifying real system state