★ 3,904Static analysis tool to detect potential nil panics in Go code. NilAway [![GoDoc][doc-img]][doc] [![Build Status][ci-img]][ci] [![Coverage Status][cov-img]][cov] [!WARNING] NilAway is currently under active development: false positives and breaking changes can happen.
GoDeveloper Tools96 forks
★ 3,858The memory-first, self-improving agent harness built on EverOS, with MiroThinker-powered deep research and reasoning.
PythonAI & Machine Learning78 forks
★ 3,839A collection of JSON schema files including full API. Visual Studio Code Create .vscode/mcp.json in your workspace: Visual Studio Add a .mcp.json file to your solution root: Any MCP Client Point your client at using HTTP transport.
JavaScriptDeveloper Tools2,318 forks
★ 3,810A unified library of SOTA model optimization techniques like quantization, distillation, pruning, neural architecture search, speculative decoding, etc. It compresses deep learning models for downstream deployment frameworks like TensorRT-LLM, TensorRT, vLLM, etc. to optimize inference speed.
PythonAI & Machine Learning599 forks
★ 3,800A fast, powerful type checker designed for Ruby. internals.md There is also a talk online that describes Sorbet's high-level architecture and the reasons why it's fast: Fast type checking for Ruby Building Sorbet There are multiple ways to build sorbet.
C++Developer Tools630 forks
★ 3,781Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents, one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60 90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first.
RustAI & Machine Learning347 forks
★ 3,710Automated mass refactoring of source code. It consists of an auto-refactoring engine that runs prepackaged, open source refactoring recipes for common framework migrations, security fixes, and stylistic consistency tasks-reducing your coding effort from hours or days to minutes.
JavaDeveloper Tools569 forks
★ 3,649Open-source framework for the research and development of foundation models. Marin's primary use case is training language model like Llama, DeepSeek, Qwen, etc.
PythonDeveloper Tools292 forks
★ 3,633The Unified Virtual Filesystem For AI Agents. **Embeddable:** the Python and TypeScript SDKs run in-process inside FastAPI, Express, browser apps, or any async runtime; no separate process required.
TypeScriptAI & Machine Learning268 forks
★ 3,631Open-source GEO content engineering and multi-site distribution system with AI tasks, RAG/semantic chunking, analytics, GEOFlow Agent and WordPress target publishing.
PHPAI & Machine Learning823 forks
★ 3,412The code coverage tool for Python. It uses the code analysis tools and tracing hooks provided in the Python standard library to determine which lines are executable, and which have been executed.
PythonDeveloper Tools523 forks

AcademySoftwareFoundation ★ 3,404OpenVDB - Sparse volume data structure and tools. It was developed by DreamWorks Animation for use in volumetric applications typically encountered in feature film production.
C++Developer Tools774 forks
★ 3,339Stateful agents that are like people, with memory, identity, and the ability to learn and adapt.
TypeScriptAI & Machine Learning402 forks
★ 3,317Remote Control for Codex. Remodex is a local-first open-source bridge + iOS app that keeps the Codex runtime on your Mac and lets your phone connect through a paired secure session.
SwiftWeb Development369 forks
★ 3,291VibeSkills is a general-purpose Skill that automatically routes local Skills and intelligently orchestrates harness workflows.
PythonAI & Machine Learning279 forks
★ 3,283Open-source inference server and production cluster for all the models your agent needs.
PythonAI & Machine Learning312 forks
★ 3,176Rust implementation of the Microsoft Remote Desktop Protocol (RDP).
RustDeveloper Tools273 forks
★ 3,167One governed graph for AI agents, GraphQL + MCP over your databases, files, APIs, and code.
GoAI & Machine Learning195 forks
★ 3,147Graph Node indexes data from blockchains such as Ethereum and serves it over GraphQL.
RustDeveloper Tools1,062 forks
★ 3,142KEJILION.SH Linux An all-in-one Linux management script!
ShellDatabases & Storage1,012 forks