Newly Accepted

Writekin is a Mac app that fine-tunes a local language model on your own writing and uses it to draft and rewrite text in your voice, with all processing kept on-device.

A Lean 4 relational knowledge language for project relationships, rules, and queries, with a Clojure runtime/toolchain and examples inspired by Zanzibar.

CLI and TypeScript SDK for finding, validating, and fixing security vulnerabilities in code, with repository scanning, change review, finding history, and CI support.

A web app for branching AI conversations into a DAG-style chat tree, with model switching, response style controls, chat import/export, and example conversations.

Lee-ai is an open-source AI cursor that acts as a website shopping assistant, pointing out products, framing items, and talking to visitors. The page shows a live demo, a GitHub install command, and notes that it works with a two-line integration and keeps keys server-side.

Heddle is a GitHub repository for a git-native coordination layer for coding agents, using intent leases, isolated worktrees, and gated landings to avoid agents overwriting each other.

Orchard is a managed backend for AI coding agents, letting users describe an app and have an agent connect database, auth, storage, email, analytics, and deployment services without cloud accounts or API keys.

A single-binary software catalog for platform engineering with auto-discovery, dependency graphs, scorecards, and a native MCP server for AI coding agents.

Hotcell is a self-hostable sandbox SDK for AI agents that runs isolated sandboxes on local hardware or servers. The page shows setup, CLI commands, key handling, egress control, and support for containers or microVMs.

Banksia is an open-source Python project for building and running accountable AI teams. The repo shows a CLI install flow, a local console, workflow studio, run monitoring, and support for reusable teams and durable state.

Free hands-on labs for prompt injection and LLM security training, with real models, a context trace view of assembled prompts, and a multi-level Gauntlet challenge.

Aidress is a coordination layer for autonomous AI agents with a live API, Python SDK, CLI, and MCP server for verifying, matching, registering, and reviewing agents.

Ami is a local, open-source AI agent that connects to apps and tools with your own tokens, keeps a universal to-do list, and runs busywork on your behalf. It includes copilot chat and graph memory, and runs on your machine with local data storage.

A GitHub repository for connecting AI agents to a real iPhone so they can call or text you, using a Claude Code plugin and a standalone agent skill/CLI.

Browser automation CLI for AI agents with anti-bot handling, human takeover, parallel multi-session browsing, and isolated multi-account workflows.

Projektor is a self-hosted issue tracker and wiki built for AI agents as the primary client, with MCP-based agent access and Cloudflare-based deployment.

A Lean 4 project for formally verified 3D mesh intersection and constructive solid geometry, with a browser demo for intersecting example meshes or STL imports.

Claudaholic is a daily swipe-based quiz product focused on Claude and agent workflows. It presents six fresh cards each day across judgment, orchestration, architecture, leverage, taste, and knowledge, aimed at helping users learn to read agent runs and make better decisions.

Minimio is a browser demo for tiny learned controllers that discover, compile, and verify microscopic AI agents for bounded decision-making, shown here solving 2D mazes with different maze types and sizes.

Belay is an open-source, local-first security layer for AI coding agents. It blocks dangerous commands, secret leaks, prompt injection, and risky MCP tool calls, with human approval flows and support for multiple agents.

Local-first debugger for LLM agent context windows. It records each call’s context into a single-file trace so you can inspect, diff, and share what the model actually saw turn by turn.

Otlet is a Postgres extension for running local LLM inference next to database rows. The README shows SQL examples, model registration, task execution, and an entity-resolution workflow with typed outputs.

Hydra is a local-first multi-model AI orchestration CLI that discovers available heads on a machine and routes tasks to the cheapest model that clears a confidence bar.

Scalattice is an inference API and hosting platform that lets developers point the OpenAI SDK at its OpenAI-compatible endpoint with minimal code changes. The page includes Python and curl examples, model IDs, pricing references, and basic troubleshooting.