Kh05ifr4nD

open-code-review. Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible.

open-design. 🎨 The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, HTML/PDF/PPTX/MP4 export. 🤖 Claude Code / Codex / Cursor / Gemini / OpenCode / Qwen & 20+ CLIs via BYOK.

strictdoc. Software for technical documentation and requirements management.

Feige. A Lean formalization of Feige's unit-slack conjecture.

AgentENV. AgentENV (AENV) is a distributed platform for running agent environments at scale.

puter. 🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.

sub2api. Sub2API 一站式开源中转服务，让 Claude、Openai 、Gemini、Grok订阅统一接入，支持拼车共享，更高效分摊成本，原生工具无缝使用。

analyzer. Static analysis framework for C

cpachecker. CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

OpenCLI. Make Any Website into CLI & Use your logged-in browser by AI agent.

mcporter. Call MCPs via TypeScript, masquerading as simple TypeScript API. Or package them as cli.

cli. GitHub’s official command line tool

spec-kitty. Spec-Driven Development for serious software developers. Spec Coding with with Claude, Cursor, Gemini, Codex. Kanban dashboard, git worktrees, auto-merge and more.

madr. Markdown Architectural Decision Records

production-ocr-course. Build, deploy, and scale a production-grade OCR pipeline using Rust, vLLM, Redis, KEDA, and Kubernetes.

external-agents. ⚙️ This repository contains standalone external agent binaries that extend the Entire CLI with support for additional AI coding agents.

free-for-dev. A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

swe-pruner-pro. Python

enigo. Cross platform input simulation in Rust

hindsight. Hindsight: Agent Memory That Learns

smartmontools. 2025-06-01: This is now the official upstream repository of smartmontools

topcoat. A batteries-included framework for building web apps

grok-build. SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.

WeKnora. Open-source LLM knowledge platform: turn raw documents into a queryable RAG, an autonomous reasoning agent, and a self-maintaining Wiki.

syster-vscode-lsp. VS Code extension for SysML v2 Language Support (LSP client)

fil-c. Fil-C: completely compatible memory safety for C and C++

likec4. Visualize, collaborate, and evolve the software architecture with always actual and live diagrams from your code

herdr. the runtime your coding agents live on

nimbalyst. Nimbalyst - The open-source visual workspace for Claude Code, Codex, and OpenCode. Run multiple coding agents in parallel, edit their work visually in markdown, mockups, and diagrams, and track tasks. Free, MIT-licensed desktop app for macOS, Windows, Linux, with mobile companion for iOS and Android.

superset. Code Editor for the AI Agents Era - Run an army of Claude Code, Codex, etc. on your machine

colibri. Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦

ax. The AI-era curl

imp-translate. An open-source, cross-platform browser extension for bilingual web page translation. Minimal by design.

GordenPPTSkill. AI-friendly PPT builder skill: 17 hand-polished Chinese PPTX templates + non-destructive text-only editing tools (python-pptx based). Pick a template, write edits.json, build a real .pptx with the layout intact. Personal/research use only.

guidance. A guidance language for controlling large language models.

orca. Orca is the ADE for working with a fleet of parallel agents. Run any coding agent with your own subscription. Available on desktop, mobile and VPS.

SysML-v2-Release. The latest incremental release of SysML v2. Start here.

openwiki. OpenWiki is a CLI that writes and maintains agent documentation for your codebase.

PiliPlus. PiliPlus

cbmc. C Bounded Model Checker

esbmc. The efficient SMT-based context-bounded model checker (ESBMC)

crustc. Entirety of `rustc`, translated to C.

ane-guide. A reference manual for the Apple Neural Engine

trippy. A network diagnostic tool

olmocr. Toolkit for linearizing PDFs for LLM datasets/training

OmniRoute. Never stop coding. Free MIT AI gateway: one endpoint, 290+ providers (90+ free), 500+ models — Kimi, Claude, GPT, OpenAI, Gemini, GLM, DeepSeek, MiniMax. Works with Claude Code, Codex, Cursor, OpenCode, Cline & Copilot. Quota-aware auto-fallback, RTK+Caveman compression saves 15-95% tokens, MCP/A2A, Desktop/PWA. Built by 500+ contributors

gortex. High-performance code-intelligence engine for AI agents and IDE, supports 257 languages, multi repositories, based on graph, with access via CLI, MCP Server, and API. AI coding agents teammate - expose only needed information, cutting token usage up to 50x. 100% local. Discord: https://discord.gg/ysC2prTGD

superfile. Pretty fancy and modern terminal file manager

Codex-5.5-codex-instruct-5.5. Python

rossi. A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping

OpenKB. OpenKB: Open LLM Knowledge Base

MeMo. MeMo: Memory as a Model

OpenFugu. Open reimplementation of Sakana Fugu — the 'one model to command them all' LLM orchestrator. Read → run → train → serve.

tolaria. Desktop app to manage markdown knowledge bases

cognee. Cognee is the open-source AI memory platform for agents. Give your AI agents persistent long-term memory across sessions with a self-hosted knowledge graph engine.

PDF-Extract-Kit. A Comprehensive Toolkit for High-Quality PDF Content Extraction

MinerU-Popo. Python

slime. slime is an LLM post-training framework for RL Scaling.

loopy. A library of practical AI-agent loops and an installable skill for finding, adapting, and designing repeatable agent workflows.

Co-Scientist. Open Source Reimplementation of Google Deepmind's Co-Scientist

llama_index. LlamaIndex is the leading document agent and OCR platform

SproutRAG. SproutRAG is a retrieval-augmented generation stack built for structured, multi-granularity evidence. It combines hierarchical attention-based indexing with flexible retrieval, optional reranking, and generation pipelines.

LightRAG. [EMNLP2025] "LightRAG: Simple and Fast Retrieval-Augmented Generation"

INF-MLLM. INF Tech's open-source MLLMs for SOTA visual-language understanding and advanced document intelligence.

paperseek. LLM based Literature Search Agent. 一个面向研究者的文献发现工具，支持用自然语言发起检索、自动迭代查询、扩展候选论文、排序结果并导出可复核的文献列表。

aeon. The most autonomous agent framework. No approval loops. No babysitting. Configure once, forget forever.

AweAgent. Python

knowledge-catalog. Google Cloud Knowledge Catalog Tools and Samples

oh-my-qemu. A collection of AI agent skills for QEMU hardware modeling

workflow. Workflow SDK: Build durable, reliable, and observable apps and AI Agents in TypeScript

eve. The Framework for Building Agents

knowhere. Knowhere extracts, parses, and outputs structured chunks ready for AI Agents and RAG.

terminal. Terminal UI to get stuff done in the browser

nature-skills. 符合nature论文学术表达和科研绘图的Skill

paper-qa. High accuracy RAG for answering questions from scientific documents with citations

AutoR. AI handles execution, humans own the direction, and every run becomes an inspectable research artifact on disk.

AI-Scientist-v2. The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search

PaperQuay. A desktop-first literature manager for PDF reading, translation, paper overviews, and AI agent workflows.

xstate. State machines, statecharts, and actors for complex logic

ponytail. Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

rocq. The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

l4v. seL4 specification and proofs

awesome-ai-for-science. A curated list of awesome AI tools, libraries, papers, datasets, and frameworks that accelerate scientific discovery — from physics and chemistry to biology, materials, and beyond.

AutoResearchClaw. Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞

happy. Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

wrap-buddy. Patch ELF binaries with stub loader for NixOS compatibility

aws-lc-verification. This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

aft. Give your agent a proper IDE and OS. The sensorimotor cortex for coding agents (OpenCode + Pi), part of CortexKit: symbol-aware edits, semantic search, code health, fast grep/glob, bash compression, background tasks, PTY.

deadnix. Scan Nix files for dead code

zotero-plugin-nutstore. Nutstore sso plugin for Zotero

obsidian-nutstore-sync. TypeScript

GitSync. Mobile Git client for syncing a repository between remote and a local directory

isomorphic-git. A pure JavaScript implementation of git for node and browsers!

obsidian-skills. Agent skills for Obsidian. Teach your agent to use Obsidian CLI and open formats including Markdown, Bases, JSON Canvas.

obsidian-fast-note-sync. Can be privately deployed, focusing on providing Obsidian users with a seamless, distraction-free note synchronization plugin with real-time sync across multiple platforms, supporting Mac, Windows, Android, iOS, and offering multilingual support.可私有化部署，专注为 Obsidian 用户提供无打扰、丝般顺滑、多端实时同步的多平台笔记同步插件。

aperio. Screamingly fast, ultra-lightweight search engine.

abtop. Like htop, but for AI coding agents. Monitor Claude Code & Codex CLI sessions, tokens, context window, rate limits, and ports in real-time.

bsan. Finding ownership bugs at scale.

TypeWords. Practice English, one strike, one step forward; 练习英语，一次敲击，一点进步；

sashiko. Agentic review of Linux Kernel code changes

spec-kit. 💫 Toolkit to help you get started with Spec-Driven Development

promptfoo. Test your prompts, agents, and RAGs. Red teaming/pentesting/vulnerability scanning for AI. Compare performance of GPT, Claude, Gemini, DeepSeek, and more. Simple declarative configs with command line and CI/CD integration. Used by OpenAI and Anthropic.

dagger. Automation engine to build, test and ship any codebase. Runs locally, in CI, or directly in the cloud

cargo-mutants. :zombie: Inject bugs and see if your tests catch them!

semgrep. Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

cucumber-js. Cucumber for JavaScript

gherkin. A parser and compiler for the Gherkin language.

openfasttrace. Open source requirement tracing suite

dhall-lang. Maintainable configuration files

cue. The home of the CUE language! Validate and define text-based and dynamic configuration

avoid-ai-writing. Skill that audits and rewrites content to remove AI writing patterns. Use it with your favorite agents including Claude Code, OpenClaw, and Hermes.

desloppify. Agent harness to make your slop code well-engineered and beautiful.

aislop. Catch the slop AI coding agents leave in your code: narrative comments, swallowed exceptions, as-any casts, dead code, oversized functions. 50+ rules across 8 languages (TypeScript, JavaScript, Python, Go, Rust, Ruby, PHP). Sub-second, deterministic, no LLM at runtime. MIT-licensed.

anti-slop. A GitHub action that detects and automatically closes low-quality and AI slop PRs.

mq. A jq-like Markdown query language for command-line processing

act. Run your GitHub Actions locally 🚀

sh. A shell parser, formatter, and interpreter with bash and zsh support; includes shfmt

codebase-memory-mcp. High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static binary, zero dependencies.

uv2nix. Uv2nix - Ingest uv workspaces using Nix [maintainer=@adisbladis]

darwin-skill. 达尔文.skill —— 一个让你的Skill无限进化的系统：评估→改进→测试→保留或回滚 | Autoresearch-inspired autonomous skill optimization for Claude Code. Evaluate, improve, test, keep or revert.

nuwa-skill. 你想蒸馏的下一个员工，何必是同事。蒸馏任何人的思维方式——心智模型、决策启发式、表达DNA。Distill how anyone thinks.

SkillOpt. SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.

lazycodex. The one and only agent harness for complex codebases. Project memory, planning, execution, and verified completion inside Codex.

deno_lint. Blazing fast linter for JavaScript and TypeScript written in Rust

liteparse. A fast, helpful, and open-source document parser

blueprint. Standard folder structure for Nix projects

ascent. Logic programming in Rust

fff. The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS

PaperSpine. PaperSpine is a motivation-driven skill for learning from strong academic papers, building a paper’s central argument, and rewriting manuscripts through evidence-aware blueprints, revision matrices, and LaTeX-safe audits.

rumdl. Fast Markdown linter and formatter written in Rust

nix-update. Swiss-knife for updating nix packages.

superpowers-zh. 🦸 AI 编程超能力 · 中文增强版 — superpowers（116k+ ⭐）完整汉化 + 6 个中国原创 skills，让 Claude Code / Copilot CLI / Hermes Agent / Cursor / Windsurf / Kiro / Gemini CLI 等 16 款 AI 编程工具真正会干活

AFLplusplus. The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

LemmaScript. verification toolchain for TypeScript (Tech Preview)

ts-reset. A 'CSS reset' for TypeScript, improving types for common JavaScript API's

fast-check. Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

zap. Zap is an open, local-first terminal with first-class AI and agent support.

headroom. Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.

impeccable. The design language that makes your AI harness better at design.

skills. Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

AutoSci. Karpathy's LLM-Wiki vision, fully realized — wiki-centric full-lifecycle AI research platform powered by Claude Code

MIRAI. Rust

ktx. ktx is an executable context layer for data and analytics agents 🐙 Allow Claude Code, Codex, or other AI agents to query analytical databases accurately and with full context of your company

chonkie. 🦛 CHONK docs with Chonkie ✨ — The lightweight ingestion library for fast, efficient and robust RAG pipelines

libcrux. The formally verified crypto library for Rust

hax. A Rust verification tool

sgxwallet. sgxwallet is the first-ever opensource high-performance hardware secure crypto wallet that is based on Intel SGX technology. First opensource product on Intel SGX whitelist. Scales to 100,000+ transactions per second. Currently supports ETH and SKALE, and will support BTC in the future. Sgxwallet is under heavy development and use by SKALE network.

paralegal. Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

flowistry. Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

charon. Analyze Rust crates without touching compiler internals

RAPx. A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.

rupta. A Pointer Analysis Framework for Rust

alive2. Automatic verification of LLVM optimizations

dafny. Dafny is a verification-aware programming language

VeCT. VeCT: Secure and Efficient Constant-Time Code Rewriting with Vector Extensions

stop-slop. A skill file for removing AI tells from prose

tika. The Apache Tika toolkit detects and extracts metadata and text from over a thousand different file types (such as PPT, XLS, and PDF).

pdfbox. Mirror of Apache PDFBox

lucene. Apache Lucene open-source search software

grobid. A machine learning software for extracting information from scholarly documents

RAG-Assistant-for-Zotero. An open‑source desktop RAG application that enables semantic search across your Zotero library. Easily discover conceptually related papers and ideas within your PDF collection using local or cloud‑based LLMs. The app provides source attribution, metadata filtering, and seamless integration with Zotero. macOS, Linux, Windows.

RD-Agent. Research and development (R&D) is crucial for the enhancement of industrial productivity, especially in the AI era, where the core aspects of R&D are mainly focused on data and models. We are committed to automating these high-value generic R&D processes through R&D-Agent, which lets AI drive data-driven AI. 🔗https://aka.ms/RD-Agent-Tech-Report

taste-skill. Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop

awesome-agent-harness. An awesome list of Agent Harness engineering resources, including GitHub projects, tools, benchmarks, and practical guides.

smack. SMACK Software Verifier and Verification Toolchain

jieba-rs. The Jieba Chinese Word Segmentation Implemented in Rust

saw-script. The Software Analysis Workbench

corecrypto. Apple corecrypto

codechecker. CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Bear. Generate compile_commands.json for any C or C++ build

klee. KLEE Symbolic Execution Engine

OfficeCLI. OfficeCLI is the first and best Office suite purpose-built for AI agents to read, edit, and automate Word, Excel, and PowerPoint files. Free, open-source, single binary, no Office installation required.

muxy. Lightweight and Memory efficient terminal for Mac built with SwiftUI and libghostty

angr. A powerful and user-friendly binary analysis platform!

infer. A static analyzer for Java, C, C++, and Objective-C

souffle. Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

rmux. Universal Rust multiplexer with a typed SDK — drive any CLI or TUI app from code. Native on Linux, macOS, and Windows.

oxidizer. A Rust decompiler built on top of angr

lotus. LLVM-based Static Analysis Framework

YASA-Engine. YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on top of UAST, YASA provides a highly accurate static analysis framework.

sbt. sbt, the interactive build tool

joern. Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

dev3000. Captures your web app's complete development timeline - server logs, browser events, console messages, network requests, and automatic screenshots - in a unified, timestamped feed for AI debugging.

semble. Fast and Accurate Code Search for Agents. Uses 99% fewer tokens than grep+read

box64. Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64, RV64 and LoongArch Linux devices

scip. SCIP Code Intelligence Protocol

toon-rust. 🦀 Community-driven Rust implementation of TOON

CompCert. The CompCert formally-verified C compiler

agentic-harness-engineering. Official AHE code — Agentic Harness Engineering: observability-driven automatic evolution of coding-agent harnesses (concurrent w/ meta-harness). NexAU-AHE reaches 84.7% ± 2.1 pass@1 on Terminal-Bench 2 (GPT-5.5). Lifts GPT-5.4 69.7→77.0% over 10 iters, beats Codex/ACE/Training-Free GRPO; frozen harness transfers to SWE-bench-Verified.

awesome-ai-auto-research. 🔥 A Survey on AI Auto-Research

guizang-ppt-skill. AI-agent Skill for generating polished HTML slide decks: editorial magazine and Swiss layouts, image prompts, social covers, and a WebGL/low-power presentation runtime.

llm_wiki. LLM Wiki is a cross-platform desktop application that turns your documents into an organized, interlinked knowledge base — automatically. Instead of traditional RAG (retrieve-and-answer from scratch every time), the LLM incrementally builds and maintains a persistent wiki from your sources。

codegraph. Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

weave. Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.

needle-rs. 258 KB WASM runtime for Needle a 26M-parameter tool-calling transformer. Runs in browser, Cloudflare Workers, and Node.js. No backend required.

SVF. Static Value-Flow Analysis Framework for Source Code

sea-dsa. A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

phasar. A LLVM-based static analysis framework.

presenton. Open-Source AI Presentation Generator and API (Gamma, Canva, Beautiful AI, Decktopus, Presentations AI Alternative)

sem. Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.