Top Picks

Forall is an AI coding agent from Astrio that generates spec-driven code with machine-checkable proofs. The repo shows two usage paths: a CLI workflow and a hosted MCP verify-only mode for tools like Cursor, Claude Code, or Codex.

AI-powered security scanner for modern web apps that combines SAST, DAST, and LLM-assisted code review in a single command. The repository includes install steps, quick-start commands, supported stacks, and examples for scanning live URLs or source code.

Wisp is an open-source desktop AI overlay that lets you trigger context-aware prompts with a hotkey, capture selection/clipboard/browser/screen context, and stream replies back into your workflow. It includes voice input/output, privacy controls, model-provider flexibility, and MCP support.

Kote is a developer memory layer that captures AI chats, Git activity, and development decisions, then makes them searchable in the IDE, web app, CLI, messaging apps, and MCP-enabled assistants.

A macOS command-line tool for on-device AI and voice tasks, including speak, listen, transcribe, chat, and an OpenAI-compatible local server.

Openbenchmarks is a public benchmark site for agents comparing SaaS and AI vendors with verified ground truth, open methodology, and metrics focused on build-vs-buy decisions. The snapshot shows benchmark sets for lookalikes, text-to-speech, and speech-to-text, plus links to open data and code.

A Zot docs page describing portable .zot files for packaging agent behavior, skills, requirements, and permissions. It includes manifest structure, file layout, permission rules, and packaging/running examples.

Local-first AI trading research assistant for market context, strategy generation, and Backtrader backtests. It supports multiple LLM providers, exposes an OpenAI-compatible API, and keeps runs and data stored locally.

Yogen is a self-hosted AI swarm that uses 500 agents to debate an idea and produce a verdict and written report. It targets decision support for startup ideas, product changes, and other uncertain choices, with both a hosted demo and local setup using an Anthropic API key.

Tokenstead helps people match AI models to their own hardware, with support for Macs, GPUs, and custom rigs. It shows which models can run locally, estimates speed, compares cloud pricing, and includes a source-cited tracker of organizations using different models.

Clusy is an agent-native notebook platform for ML and data science that lets users describe a goal in plain language and have the system source data, set up experiments, run notebook cells, and return editable results in the cloud.

Self-hosted LLM gateway for cost-aware model routing, spend tracking, and policy-based traffic control across multiple providers.

Prizmi is a proactive AI assistant for everyday tasks across phone and desktop devices. It can handle email drafting, reminders, file organization, browser actions, and other routine work while keeping the user in control of approvals.

Soup is a Python library that routes Agent Skills into LLM prompts, injecting only the skills relevant to each request. It supports local skills, remote repositories, and multiple providers including OpenAI, Anthropic, Gemini, Ollama, LiteLLM, and LangChain.

AutoSprite is an AI sprite sheet generator for game developers. It turns a single character image into animated spritesheets with preview, timing controls, presets, and exports for engines like Unity, Godot, GameMaker, and Phaser.

Polygres is a Postgres platform built for agent and retrieval workloads, combining hosted PostgreSQL with native graph traversal, HNSW vector search, and hybrid retrieval APIs. The page shows a working product site, SDK usage, API/runtime connection details, and example hybrid queries.

A Redis-focused documentation site with design patterns, command references, and LLM-friendly navigation for human developers and coding agents.

A serverless document database that runs inside request handlers and stores state in S3/R2. The repo shows a small TypeScript API, quick-start flow, local dev support, and example scaffolds for app integration.

Local-first Python SDK for AI agents that compresses web pages before LLM use, flattens Shadow DOM, builds action maps, and extracts structured data from tables, forms, and lists.

A data-driven page that tracks well-known AI agent repositories with no recent public commit signal, comparing star counts with liveness to surface projects that have gone quiet.

A curated GitHub resource list for production AI agent infrastructure, covering runtimes, sandboxes, tool protocols, security, observability, and evaluation.

Heckle is a QA copilot for agentic app development. It lets you describe a bug in plain language while you use the app, then packages browser context like DOM, console, network, and path details for a coding agent to fix.

Open Science is an open-source AI workbench for scientists. It combines literature, code, figures, reports, and review into a local-first desktop workflow with model choice, reproducible artifacts, and scientific agent skills.

peek-cli lets coding agents capture screenshots of open browser tabs through a browser extension and WebSocket daemon. The repo shows CLI usage, installation steps, supported integrations, and a safety explanation.