Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
codexqa: 11 local-first Agent Skills for Cursor, Claude Code, Codex & OpenClaw — change impact analysis, AI code review, defect scan, testcase generation, browser replay & RCA.
📦BetterGI · 更好的原神 - 自动拾取 | 自动剧情 | 全自动钓鱼(AI) | 全自动七圣召唤 | 自动伐木 | 自动刷本 | 自动采集/挖矿/锄地 | 一条龙 | 全连音游 | 自动烹饪 | 桌面分身 - UI Automation Testing Tools For Genshin Impact
Cross-platform & feature rich iOS/iPadOS/tvOS sideloading application. Formerly known as PlumeImpactor.
Asset extraction tool for unity games, supports many encrypted titles including all Hoyoverse ones (*゚∀゚*)
Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.
AutoShorts is a local-first desktop application for turning long-form video or audio recordings into high-impact, vertical short-form clip candidates (9:16 portrait) with AI-powered viral moment ranking.
Open-source explicit finite element solver for simulating crashes, impacts, explosions, and other dynamic events.
google maps for block game
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
Game Launcher for miHoYo - 米家游戏启动器
Enterprise-grade (40m+ LOC) codebase intelligence, zero-setup, local & private Plugin/Skill/Extension or MCP: hybrid semantic search, polyglot dependency graphs, symbol-level impact analysis & call-flow, interactive HTML viewer, cross-project & branch-aware search, DB/API/infra knowledge. 61% less tokens, 84% fewer calls, 37x faster. Cloud in beta.
Apache Fineract
A third-party launcher for Genshin Impact that supports game injection, automatic check-in, and some useful small features.
Track emissions from Compute and recommend ways to reduce their impact on the environment.
Your best Genshin Impact companion! Help you plan what to farm with ascension calculator and database. Also track your progress with todo and wish counter.
Maintenance explorer for Home Assistant: inventory, diagnosis, impact analysis and confirmed, reversible cleanup
GLPI is a Free Asset and IT Management Software package, Data center management, ITIL Service Desk, licenses tracking and software auditing.
Causal Inference for the Brave and True. A light-hearted yet rigorous approach to learning about impact estimation and causality.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust
Flutter Reverse Engineering Framework
An Advanced Launcher for miHoYo/HoYoverse Games
A platform to build useful communities that aim to tackle global problems
Detection Engineering is a tactical function of a cybersecurity defense program that involves the design, implementation, and operation of detective controls with the goal of proactively identifying malicious or unauthorized activity before it negatively impacts an individual or an organization.
自部署的摄影作品网站,支持多种功能特性。PicImpact,分享你和世界!
A simple, web based CMDB & IT Service Management tool
A toolbox for Genshin Impact 100% running in browser. 纯网页端的原神工具箱,保证每一行代码都是熬夜加班打造。
An Artifact optimizer for Genshin Impact(And other Gacha games).
实用的开源多功能原神工具箱 🧰 / Multifunctional Open-source Genshin Impact Toolkit 🧰
支持OneBot(QQ)、OneBotV12、QQ频道、微信、KOOK(开黑啦)、Telegram(电报)、FeiShu(飞书)、DoDo、Villa(米游社大别野)、Discord的全功能HoshinoBot/NoneBot2/Koishi/yunzai/ZeroBot/AstrBot的原神机器人插件
Genshin Impact Fps Unlock 原神帧率解锁
SubDominator helps you discover subdomains associated with a target domain efficiently and with minimal impact for your Bug Bounty
ODK Collect is an Android app for filling out forms. It's been used to collect billions of data points in challenging environments around the world. Contribute and make the world a better place! ✨📋✨
Genshin Impact & HKSR Fps Unlock 原神崩铁帧率解锁
A free and open vulnerabilities database and the packages they impact. And the tools to aggregate and correlate these vulnerabilities. Sponsored by NLnet https://nlnet.nl/project/vulnerabilitydatabase/ for https://www.aboutcode.org/ Chat at https://gitter.im/aboutcode-org/vulnerablecode Docs at https://vulnerablecode.readthedocs.org/
Python Causal Impact Implementation Based on Google's R Package. Built using TensorFlow Probability.
A multi-platform launcher for your anime games.
✨ 一个非官方的工具,用于管理和分析你的 miHoYo 抽卡记录。(原神 | 崩坏:星穹铁道 | 绝区零)An unofficial tool for managing and analyzing your miHoYo gacha records. (Genshin Impact | Honkai: Star Rail | Zenless Zone Zero)
FischROBLOX Pro Roblox Testing Automation Tools 2026
Code review via the change impact measure
—
Animated anime character pets for the Codex desktop app.
Our project is a technology-based solution designed to address a real-world problem in a simple and efficient way. It focuses on understanding user needs, improving accessibility, and providing a practical solution through innovation, automation, and an easy-to-use interface. The project aims to create meaningful impact.
AI code review with DeepSeek: headless PR review automation that verifies PR descriptions claim-by-claim against real code, checks docs against reality, flags requirement impact, human-in-the-loop + auto review poller + web dashboard
A multi-agent application-security review harness for Claude Code (and, later, other AI agents). One router skill dispatches to a full offensive-security pipeline that maps a codebase, hunts vulnerabilities with a per-class knowledge base, chains findings into escalations, verifies real impact, and reports to README/JSON/SARIF/doc/PDF.
为原神提供一键 DLSS5 支持, 同时支持DLSS超分, unlockfps, reshade hdr组件
The OWASP Subtractive Security Top 10 Project is an initiative to identify, document, and promote the highest-impact opportunities for reducing cyber risk through the elimination of attack paths.
Optimal execution and market making, implemented four times over from the same pinned contract: **Almgren-Chriss (2000)** discrete optimal execution, **Avellaneda-Stoikov (2008)** finite-horizon market making, and execution analytics (Perold implementation-shortfall decomposition, participation rate, a tiny native OLS for market-impact estimation).
A tool that replaces everything that can be deterministic in repository work: search, symbols, callers, task scope, history, review and Git from one local CLI, so your AI coding agent spends its tokens on the hard part.
Free, open source mental health communication web app to share experiences with loved ones