New tools, libraries, and projects gaining traction on GitHub
23 stories in the last 7 days
agent-kit — Backend SDK for creating and managing Web3 AI agents with auto-provisioned Abstraxn server wallets.
agent-kit is a TypeScript backend SDK for building and managing Web3 AI agents. The toolkit features auto-provisioned Abstraxn server wal…
agent-claim-network — 面向终端的通用 AI 助手，让 Agent 之间共享可检索、可追溯且允许分歧的知识。让下一次判断，带着来源出发。
agent-claim-network is an open-source terminal-based knowledge sharing protocol for multi-agent systems. Written in Rust, it allows AI ag…
llm 0.32rc2
LLM 0.32rc2 updates its default model to GPT-5.6 Luna and adds an ad-hoc endpoint command. The CLI utility now defaults unset users to Op…
annona — Annona — the sovereign execution kernel for AI agents. Decides where each step runs, enforces it, and records it.
Annona is a sovereign execution kernel designed to govern and audit AI agent steps. The open-source Python tool decides where each workfl…
llm 0.32rc1
LLM 0.32rc1 is a major update introducing content-addressable hash IDs for conversation message trees. The release revamps the logging sc…
Yap
Yap is a lightweight, open-source macOS dictation app powered by native APIs. The MIT-licensed utility uses macOS speech frameworks to co…
Memmy Agent
Memmy Agent is a local-first personal memory hub and AI agent. It provides a shared, user-controlled long-term memory layer for developme…
Premation
Motion Editor is an open-source, AI-native alternative to Adobe After Effects. It combines timeline-based editing, 2D/3D motion design, a…
agentOS
agentOS is an ultra-cheap WebAssembly-powered Linux sandbox alternative for AI coding agents. It provides a full Linux operating system a…
Greplica
Greplica is an open-source self-updating wiki providing shared codebase memory for coding agents. It continuously extracts architectural …
KVerus — KVerus: Scalable and Resilient Formal Verification for Rust Code
KVerus is an open-source tool for scalable and resilient formal verification of Rust code. Developed by Asterinas, the project leverages …
vibe-astock — A 股短线复盘看板：涨停池·连板梯队·龙虎榜·板块资金一屏看完，赚钱效应/晋级率/梯队断层/情绪周期等派生指标纯计算直出（不经过 AI），AI 只把数据串成能读的盘面研判。全本地运行，可用 Claude/Codex 订阅免 API key。
vibe-astock is a local A-share stock market dashboard powered by deterministic metrics and LLM narratives. The open-source Python tool co…
trace-file-lineage — Find which script, notebook, data, command, or AI agent produced a file — locally, with evidence and honest uncertainty.
trace-file-lineage is a local CLI tool that tracks the exact origin of files. It traces which script, notebook, dataset, command, or AI a…
kaas — Turn scattered notes, docs and transcripts into a queryable Markdown wiki — an LLM knowledge-base compiler with MCP acce
Kaas is an open-source LLM knowledge-base compiler that turns unstructured notes into queryable Markdown wikis. The Python-based tool fea…
OpenAI open-sources Codex Security CLI to help developers find and fix vulnerabilities from the command line
Codex Security CLI is an open-source command-line tool that automatically detects and fixes repository vulnerabilities. OpenAI open-sourc…
llm-system-design — A production-grade LLM System Design platform & interactive lab. Features a pure-Python LLM serving, RAG, routing, safet
llm-system-design is a production-grade interactive lab and platform for mastering LLM architectures. It features a pure-Python LLM servi…
geolook — Open-source end-to-end GEO implementation: status analysis, diagnosis, strategy, tickets, execution, verification
geolook is an open-source Python toolkit for end-to-end generative engine optimization. The project provides self-hosted tools for AI-sea…
geolook — 开源的全流程 GEO 实施平台:现状分析 → 诊断 → 方案 → 实施计划工单 → 执行落地 → 效果验收 · Open-source end-to-end GEO implementation: status analysis, diag
Geolook is an open-source platform for end-to-end generative engine optimization and AI search visibility. The Python-based tool guides d…
Task Monki
Task Monki is an open-source desktop app for managing multi-agent coding workflows. It allows developers to run multiple coding agents co…
JusTTY
JusTTY is a lightweight native macOS terminal built on Swift and libghostty. Designed for minimal everyday use, it strips away the heavy …
MemoryCustodian
MemoryCustodian provides repo-native, version-controlled markdown memory for coding agents. The open-source tool stores project decisions…
tastemaker
Tastemaker is an open-source design skill that gives coding agents real visual taste. It generates unique color palettes with verified WC…
local-kimi — Optimized local serving engine for Kimi-Linear-48B: INT4 quantizer, fused decode kernels for a measured 3.18x, and an Op
Local-kimi is an optimized local serving engine designed for the Kimi-Linear-48B model. It features an INT4 quantizer, fused decode kerne…