Better Auth
Comprehensive authentication and authorization framework for TypeScript applications.
Manage your stack · 130 tools
Protect your product with auth, secrets, and security checks.
Comprehensive authentication and authorization framework for TypeScript applications.

A platform for competitive optimization of formally verified zero knowledge circuits.
Open-source credential gateway that securely keeps secrets out of AI agents.
Scan your AI agents for dangerous capabilities and security risks.
A lightweight secrets manager built in Rust.

Offline verification tool for computational claims and software systems.
A secure local-first password manager for storing your credentials.
Paste a Git diff and get a production risk score in ten seconds.

A CTF-style challenge platform to break and test AI agents running in microVMs.
A tool by Cloudflare for auditing security vulnerabilities in code.
An agentic mobile app penetration testing tool.
A security scanner designed specifically for software projects built with LLMs.
Open-source tool to run EU AI Act compliance checks in your CI/CD pipeline.
Grade your codebase for post-quantum cryptography exposure from A to F directly in the browser.
A local AST scanner that helps catch architectural drift caused by AI code generation.
Deterministic architectural enforcement for continuous integration.
Pre-admission security evidence and analysis for PostgreSQL extensions.
A lightweight Linux sandbox written in C99 with zero dependencies.

A security scanner designed to find exposed AWS credentials in Terraform state files.
A modern and memory-safe SSH server written in Rust.

An AI model post-trained to perform penetration testing instead of refusing requests.

A lightweight secure daemon for mobile shell access.
A Rust implementation of the Tailscale secure networking protocol.
An open-source agent runtime with gVisor and MitM guardrails for secure execution.
Retained Kubernetes evidence for fast incident investigations.
A clean WireGuard protocol implementation written in the D programming language.
A mathematical fault isolation accelerator engine for software systems.

Reproduce production bugs on your laptop without a database.
Open source tamper evident runtime evidence for AI agents.
Facial Authentication tool for Linux systems.

A secure desktop app built with Tauri and Rust for vault-gated credential storage.
Turn secrets into AES-256 encrypted PDFs locally in your browser.
An open source tool that blocks website trackers and protects your privacy online.
A CLI tool that helps AI agents avoid vulnerable software dependencies.
An Android file viewer that requires no special permissions.
A macOS data protection keychain library for Electron applications.

Prevent your browser from leaking your location when using a VPN.
A CLI tool to find non exact code duplication using embedding models.
Prevent runaway AI agents with runtime budget enforcement.
Perform DNS lookups, RDAP and WHOIS queries, and subdomain enumeration in one tool.

118 runnable agent skills for malware analysis and reverse engineering.
Automatically scan your git commits for security vulnerabilities.
An AI watchdog that prevents AI coding assistants from making destructive database changes.
An encrypted BLE dongle for securely pasting text to air-gapped devices.
Run iOS applications on Linux systems easily.
An open benchmark for evaluating AI performance on system-on-chip tasks.
Open source sandboxing tool for running AI agent code safely.
Gate OpenAI agent actions on confidence scores and prompt injection attacks.
An AI-powered Layer 7 firewall to block botnets and web attacks.
A Rust and Python orchestrator featuring native OIDC and forward auth capabilities.

End-to-end encrypted file sharing for developers and teams.
An autonomous AI pentesting agent for security testing.
A temporary email service with OTP detection for trial libraries and testing.
Drive real browser tabs over a relay instead of using a headless browser farm.
Check if a GitHub repository is authentic and active.
Pin, verify, and vendor GitHub Actions for secure software supply chains.
A safer tool to run npm packages without blindly trusting install scripts.
Generate operational AI bill of materials directly inside GitHub Actions.
An all-in-one JavaScript runtime, package manager, and test runner.
An ultra-minimal sandbox built with QuickJS WASM isolates for running code safely.
Open a local shell inside failed GitHub Actions snapshots for debugging.
A security firewall designed for AI agents to protect against threats.
Let AI agents use your API keys without ever seeing them.
A CLI tool to block Supabase Row Level Security leaks before deployment.
Catch AI agents when they are manipulated at runtime.

Disposable email inboxes for CI pipelines without requiring Docker.

Route and manage all organizational AI traffic securely via a local PC proxy.
A free package firewall to protect Go, Arch, and AUR from malware.
Hide secret messages inside text generated by large language models using Rust.
Sandbox the install step of any NPM package to improve security.
Test observability tools on real system failures.

Content authorization and access control platform designed for AI agents.
An OSINT tool that finds exposed files on domains.

A systems programming language featuring built-in Z3 theorem proving within the compiler.
AI driven testing tool to automate and streamline software testing processes.
An open format, agent skill, and CLI tool to ensure code quality.
A browser extension that generates AI-powered resilient selectors.
A tool to help people remove their personal information from the Tea App.
A local debugger for AI agent traces to help developers inspect and fix agent behavior.

An IDE for Abaqus subroutines featuring analytical tests and AI diagnosis.
A Lean4 Datalog DSL based on Google Zanzibar, designed for AI projects.

An open-source QA agent that reads your codebase before executing browser tests.
A sample dataset of computer-use tasks for professional software testing.

An interactive environment for writing and testing TLA+ specifications.
Capture and make every software bug perfectly reproducible.
Agentic QA testing tool for teams using fast coding agents.
A harness and evaluation tool for DeepSeek models.
An iOS app that uses hardware keys to securely store and pass encrypted letters and passwords to family members.
Open-source vulnerability scanner for source code.
An assertion library for end-to-end testing and real user monitoring.

An evaluation harness designed to help normal models compete on software engineering benchmarks.

Generate always up-to-date product videos from end-to-end tests.
Generate privacy policies for AI applications including LLM disclosure and EU AI Act compliance.
A Git-style platform for managing your team's secrets.

Test software developer skills and proficiency with artificial intelligence tools.
Grounding enforcement tool for AI agents.

An AI harness for C and C++ development with GDB, sanitizers, and compile tools.

Before and after visual proof of what your AI agent changed.
Measure whether AI coding assistants are eroding your unaided coding skill over time.
Structural code quality metrics for agent-written programs.
A browser REPL designed for AI agents to interact with web pages easily.
Response drift detection tool for LangGraph agents.
Make your AI agent prove its work with real screenshots.
Encrypt messages locally in your browser into secure self-contained links.
Find every AI model your code calls and warn before it is retired.
Make AI coding agents prove their work before making changes.
Anti-slop code review tool designed specifically for AI generated code.

A tool to help developers decide if a software test is worth automating.

Static architecture linter for Ruby applications.
Perform pass at k reliability testing for AI coding skills in Claude Code and Codex.
Hide any sensitive file inside another innocent file.
Annotation free static analysis language server for Perl.
A C framework applying dependency injection to exploit dev.
A file watcher that checks if your software build passed or failed.
Mock Nvidia GPUs on Linux systems for testing and development purposes.
A specified virtual computer designed to build compilers for.
Detect database N+1 query issues and fail your CI pipeline automatically.
Turn Sentry errors into AI generated GitHub pull requests with fixes.
Add human oversight and approval workflows for AI agents in regulated industries.
Fraud detection plugin for WooCommerce stores to protect invoice payments.
A GitHub Action that uses AI to test and QA your pull requests.
Zero setup magic link testing tool designed for coding agents.
Build SWE-bench style software engineering evaluations from your private code repositories.
An AI QA engineer that automatically tests Vercel previews on every pull request.
Find and reproduce Parquet interoperability failures across different systems.
An encrypted pastebin tool where the server never sees the encryption key.
Scan your git repositories for leaked LLM reasoning trace secrets.

Post-quantum end-to-end encryption layer for popular web messaging apps.

Access control at the ORM layer, built for coding agents.
An ephemeral online clipboard with live sync and end-to-end encryption.