
Sentinel
An open-source QA agent that reads your codebase before executing browser tests.

An open-source QA agent that reads your codebase before executing browser tests.

Reproduce production bugs on your laptop without a database.
AI driven testing tool to automate and streamline software testing processes.
A browser extension that generates AI-powered resilient selectors.
Capture and make every software bug perfectly reproducible.
A CLI tool to find non exact code duplication using embedding models.

A systems programming language featuring built-in Z3 theorem proving within the compiler.
A local debugger for AI agent traces to help developers inspect and fix agent behavior.
Paste a Git diff and get a production risk score in ten seconds.

An IDE for Abaqus subroutines featuring analytical tests and AI diagnosis.
A sample dataset of computer-use tasks for professional software testing.

A platform for competitive optimization of formally verified zero knowledge circuits.
Scan your AI agents for dangerous capabilities and security risks.

Offline verification tool for computational claims and software systems.

An interactive environment for writing and testing TLA+ specifications.
An open format, agent skill, and CLI tool to ensure code quality.
Collect video and text testimonials in minutes and showcase them anywhere.

Check and generate IBANs using an API and MCP interface for developers.

A graphical user interface for managing Apple Containers on macOS.
A Bun-like all-in-one toolkit for Node.js applications.
Comprehensive authentication and authorization framework for TypeScript applications.

A faster alternative to Notion built with Rust.
A secure local-first password manager for storing your credentials.
Open-source credential gateway that securely keeps secrets out of AI agents.

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

Manage release notes, user feedback, and uptime monitoring in one dashboard.
Transparent proxy and live TUI for debugging MCP traffic.
Create portable Linux binaries easily.
An OSINT tool that finds exposed files on domains.
A pure ARM64 Assembly web server with Linux CGI support.
Documentation system that automatically checks for staleness.
Publish Markdown and HTML reports directly to Cloudflare Pages.
An online editor to create and edit Mermaid diagrams easily.

Open source game engine for 2D and 3D game development.
Use pure Python as a systems language with ahead of time compilation.
Lightweight control panel for managing servers, apps and databases.

Monitor uptime, APIs, forms and checkout flows with instant alerts.
Open source tamper evident runtime evidence for AI agents.
Package and run PostgreSQL extensions as stackable Docker layers.
A lightweight secrets manager built in Rust.
Interactive and animated architecture visualizations for any Hugging Face models.
An open source tool that blocks website trackers and protects your privacy online.
Learn Linux and Git commands through mind maps, quizzes, typing games, and cheatsheets.
A tool to help people remove their personal information from the Tea App.
A lightweight Linux sandbox written in C99 with zero dependencies.
A CLI tool that helps AI agents avoid vulnerable software dependencies.
Serve HTML files directly from your Google Drive.
A task runner that aims to be simpler and easier to use than GNU Make.