Havuz

TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.

Let an AI companion get sleepy, fall asleep, dream, and be woken by you. 让 AI 伴侣会困、会睡、会做梦，也会被你叫醒。

The last agentic harness you'll ever need. Bring any model; Pennant does the rest on your Mac and iPhone, and asks before anything is sent,

Mobile Dev for Codex, Codex masaustu sohbetinin yaninda iOS ve Android cihazlarini calistirma, inceleme ve hata ayiklama araclari sunan bir eklentidir.

Neden yükseliyor · Repo 3 gunluk olmasina ragmen 95 yildiz ve son 28 gunde 211 commit gorunuyor; bu erken donemdeki ilgiyi ve gelistirme hareketliligini gosteriyor, ancak 3 farkli yazar verisi katki tabaninin henuz dar olduguna isaret ediyor.

Windows PC’de AI agent başlatmayı tek bir `.exe` dosyasına indirmeyi hedefleyen, geliştirme aşamasındaki bir uygulama.

Neden yükseliyor · Bir günlük repoda 50 yıldız ve 4 commit görünüyor; bu erken ilgiye işaret ediyor, ancak ilginin nedeni veya kullanıcı benimsemesi verilerden anlaşılamıyor. Son 28 gündeki farklı yazar sayısı 1.

Official codebase for the paper "Sharpening Tax in Post-Training"

Eleven free Claude skills that run an X account, with a virality engine behind every idea: posts off 21 hook formulas, threads, replies, pro

十七° Agent 官方 Skill 合集 · Official skills collection for the s17 terminal agent

Voice-first desktop assistant for Windows — talk to your PC and it works inside real apps, safely. By VORNEX.

Find the best AI models you can run

DevLabs™ Free, open source and local-first. A multi-agent harness that works with the AI subscriptions you already pay for. It turns the ter

A persistent workspace for development work.

Aharou · 手机上的 AI 助手与 Coding Agent（内置 Linux 环境 · 影子屏）

A production-grade agent runtime engineered from the Harness Engineering philosophy.

Help your agent remember what matters. Keep preferences, carry context across sessions, and bring your memory to the next agent.

Multi-platform IM channel bridge with unified message abstraction for AI agents and bots

Agent-first lightweight browser automation — direct CDP, no Playwright, more accurate and more reliable.

A minimal yet ready-to-use AI agent harness, built on best practices for frontier models.

Claude Opus 5.5 with the effort level re-decided every step by the TypeSafe Jev reflex — without breaking the prompt cache. CLI + Claude Cod

A fast, lightweight CLI.

✅ Acceptance is open-source e2e testing for Agents. Your coding agent turns a prompt into observable checks, runs the real product, and publ

AdalFlow Alternative 2026: Auto-Optimize LLM Apps Without Code

Two source-verified AI-agent skills that turn project code into traceable business-rule documents (whole-project + single-module). Graph-gui

Local, open-source Jev alternative: browser agent decisions with Laya (System One model) on your own machine. No cloud, no API key. Playwrig

Jev-Mem: System-One Controlled Agentic Memory

Harness-Zero: Harness Distillation via Agent-as-Harness

Joy — a local-first personal assistant. Rust core (loop / memory / tools / graph / evals), TypeScript gateways + dashboard, Python thin SDK.

Windows local AI installation assistant: Find software, use local AI to plan, and let the assistant install it. Windows 本地 AI 安裝助手：搜尋軟體，由本地

Yowes, MCP üzerinden 13 ülkeye yönelik öğretmen kimlikleri ve çalışma belgeleri gibi gerçekçi PNG belgeleri üreten bir Python sunucusudur.

Neden yükseliyor · 9 günlük yaşına göre 183 yıldız dikkat çekici; MCP entegrasyonu ve çok ülkeli belge üretimi ilgi görmüş olabilir. Bununla birlikte yalnızca 3 commit ve 1 farklı yazar verisi var; yükselişin nedeni veya gerçek kullanım düzeyi bu verilerden doğrulanamıyor.

Loopcut: an AI agent that works inside Blender. A fork of Blender (GPL).

Agent/RAG/AI应用：Agent零基础入门学习笔记➕编程平台

Claude Code / Codex / pi plugin that hands agent steps needing no text output to Jev (TypeSafe's judgment model) — measured p50 ~230 ms and

A polished terminal UI (TUI) for the pi AI coding agent — real-time chat, multi-provider LLMs, tools and sessions. Built with Go and Bubble

Hi-LLM，嗨大模型导航，围绕 AI 工具、网站与开发者资源建立可持续维护的内容目录。访客可以按分类浏览、关键词搜索、查看热门排行和收藏感兴趣的内容；管理员则可维护分类、站点信息、展示状态与推荐内容。

Linux QQ 群聊 Agent（OneBot v11）：分条发言、贴纸系统、主动发言与内置运维命令

A trustworthy context layer for AI that remembers, plans and acts — free text into typed commitments, decisions and memories, each with its

可恢复气候数据智能体：自然语言 → 获取 / 检查 / 绘图 / 报告

ACP and MCP adapter that bridges TypeSafe Jev with any LLM — computer use and typed decisions alongside Codex, Claude, Grok, and OpenCode.

VOOL — the local-first personal agent runtime by Parad0x Labs: local LLM by default, memory, tools, permissions and signed receipts. macOS b

不要偷偷上传代码啊魂淡！

A Lisp for AI: a persistent environment that humans and agents drive, extend, and grow over time.

Andee lives on your phone or Mac and uses any app like you do—no integrations, no root, any model; memory and passwords never leave your dev

Edit a DeepSeek Harness (dsh) custom mode: system prompt, base mode, and plugin switches.

DeepSeek Harness (dsh) 插件:论文伴读工作台 —— PDF 转录 / 检索 / 流式问答 + 内置阅读器页面。

Grepleaks — your AI pentest environment. An AI pentest agent that lives in your terminal.

Give your coding agent a delivery process you can trust. Spec → Plan → Build → Acceptance → Ship.

EvoOntology, data agent’ların farklı veri kaynaklarındaki kavramları ve ilişkileri kullanabilmesi için MCP üzerinden erişilen, etkileşimlerden güncellenebilen bir ontology layer sunuyor.

Neden yükseliyor · Agent’ların kurumsal veriyi anlamlandırma sorununa, MCP entegrasyonunu ve kendini güncelleyen ontology yaklaşımını bir arada sunma iddiasıyla dikkat çekiyor. 13 günde 427 yıldız, 22 commit ve 3 farklı yazar erken ilgi ve geliştirme hareketliliği gösteriyor; bu veriler tek başına kullanım veya etkililik kanıtı değil.

AntOmniEvo, tekrar tekrar değerlendirilebilen dosya tabanlı sistemlerin ayarlarını coding-agent destekli bir evrim döngüsüyle optimize eden bir Python framework’üdür.

Neden yükseliyor · 13 günde 480 yıldız alması, otomatik agent iyileştirme ve self-improvement konularına ilgiyi gösteriyor. Ancak bu ilgi benimsenme veya sonuç kalitesi kanıtı değil; son 28 günde 16 commit ve 1 farklı yazar, aktivitenin şu an tek kişide toplandığını gösteriyor.

AgentScope Java, Java ile uzun süre çalışan ve dağıtık ortamlara taşınabilen agent uygulamaları geliştirmek için bir framework sunuyor.

Neden yükseliyor · 13 günlük yaşına rağmen 108 yıldıza ve son 28 günde 12 commite ulaşmış; Java tarafında üretim odaklı agent altyapısı arayanların ilgisini çekmiş olabilir. Ancak yıldız ve README özellikleri benimseme ya da üretim başarısının kanıtı değil; farklı yazar sayısının 1 olması katkı tabanının şimdilik dar olduğunu gösteriyor.

WorkBuddy Tools — 在不同账号间无缝衔接你的工作。支持国内版/国际版多账号管理、快速切换、选择性数据迁移与 Token 用量统计，全部本地运行。