88lin / workbuddy-auto-signin
自动领取 WorkBuddy / Qoder CN 每日签到积分与成长中心全部奖励 —— Buddy 旅行礼物、派 Buddy、开盲盒、领任务、连登兑换、断登补签全覆盖。无需额外安装依赖，一句话让 AI 自动配好 Windows / macOS 定时任务，零 Token 静默运行。
88lin / workbuddy-auto-signin
lissy93 / dashy
A self-hostable personal dashboard for homelabs with status checks, widgets, themes, icon packs, and a UI config editor.
yupaiLy / cmcc-auto-checkin
中国移动 App 自动签到（签到领流量/话费）· Bark 推送
superwesleyhys-ux / factcircuit
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
danepps / legal-research-skills
Claude Code and Codex CLI skills for legal scholarship: verified research memos, cite-checking, proofreading, Zotero library building, SCOTUS case prep
ry0narushima / bettersearch
Deep research for any AI agent on DeepSeek's new Search API. Subagents, fact-checking, and a clean HTML report.
ggzhzc / workbuddy-trae-checkin
WorkBuddy trae自动签到 —— Cloudflare Worker 版。把每日签到搬到云端：不用开电脑、不用装客户端、不用第三方文档服务。扫码把账号托管进去，之后 Worker 自己续期令牌、按时签到、记录结果。
L0NE-6 / WorkBuddy-Daily
🌱 WorkBuddy 成长中心全能签到脚本 · Token永续 · 34项自动化（云端18+小程序7+玩法8+签到1） · 进度补领 · 礼包补偿防重 · 青龙/Actions · Releases 一键下载
autumnsentiment / Trae2api-cn
Trae CN model relay: OpenAI-compatible Chat/Responses API with tool calling, reasoning effort, multi-account polling and checkin
renovatebot / renovate
Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io
google / closure-compiler
A JavaScript checker and optimizer.
lycheeverse / lychee
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
model-checking / kani
A model checker for Rust programs.
smart-open / TraeWorkAssistant
AI Work 助手 — Windows/Macos 桌面端 AI 应用多账号管理一体化工具。深度支持 Trae/ WorkBuddy / CodeBuddy / Qoder /豆包 多应用：多账号签到、登录态一键切换、设备标识隔离、账号分组、积分看板、OpenAI 兼容 API 网关。数据全部本地存储。Tauri 2 + React + Rust。
facebook / pyrefly
A fast type checker and language server for Python
tlaplus / tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
teal-language / tl
The compiler for Teal, a typed dialect of Lua
ignaciocastro / a-dove-is-dumb
Easily block Adobe telemetry checking domains. Continuously Updated. Useful for HostsMan / SwitchHosts / Pi-hole users ✨
cocojojo5213 / Dev-Janitor
Cross-platform desktop app for cleaning development artifacts, managing local developer tools, and checking common environment issues.
jasmcaus / caer
High-performance Vision library in Python. Scale your research, not boilerplate.
wes-lin / Cloud189Checkin
天翼网盘自动签到
antiburn / antiburn
Fast, free local checks to reduce your token burn. Helps you avoid limits by checking for: sessions too deep, models too powerful, caching broken, unused tools/MCPs/skills, and many more.
PowderworksCode / headstart
Start dependent crates before their dependencies finish type-checking
MatheusBomtempo / JornAI
Open source AI-assisted Instagram publishing for newsrooms - draft, review, and post breaking-news content fast, with a human always in the loop.
techysy / CreditDaddy
AI 编程工具多账号本地管理 + 每日积分自动签到：Qoder / WorkBuddy(CodeBuddy) / ZCode，接入 10Router 看额度、同步用量。Windows 托盘桌面版 + 飞牛 fnOS fpk，数据只留本机，零依赖。
xiehuan123 / dsh-deepread
Evidence-first reading for AI agents — turn articles, books and PDFs into traceable claims, evidence, source locations and knowledge maps.
FlapPearLabs / workbuddy-toolkit
WorkBuddy Multi-Account Manager & Automated Check-in Toolkit (多账号轮换、全域工作区打通与自动化签到)
Bencibr / tokenme
TokenMe is a menu bar app that tracks token usage, spend, and remaining quota across all your AI coding tools, so you stop checking each vendor's console. macOS & Windows, plus a CLI. · TokenMe 是一款菜单栏应用，把所有 AI 编程工具的 token 用量、花费和剩余额度汇到一个面板里，不用再挨个翻各家的控制台。支持 macOS 和 Windows，附带命令行工具。
actions / checkout
Action for checking out a repo
arktypeio / arktype
TypeScript's 1:1 validator, optimized from editor to runtime
ossec / ossec-hids
OSSEC is an Open Source Host-based Intrusion Detection System that performs log analysis, file integrity checking, policy monitoring, rootkit detection, real-time alerting and active response.
HaveAGitGat / Tdarr
Tdarr - Distributed transcode automation using FFmpeg/HandBrake + Audio/Video library analytics + video health checking (Windows, macOS, Linux & Docker)
DetachHead / basedpyright
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
beartype / beartype
Unbearably fast near-real-time pure-Python runtime-static type-checker.
composer / semver
Semantic versioning utilities with the addition of version constraints parsing and checking.
aboutcode-org / scancode-toolkit
:mag: ScanCode detects licenses, copyrights, dependencies by "scanning code" ... to discover and inventory open source and third-party packages used in your code. Sponsored by NLnet, the Google Summer of Code, Azure credits, nexB and other generous sponsors!
nalexn / ViewInspector
Runtime introspection and unit testing of SwiftUI views
hunspell / hunspell
The most popular spellchecking library.
ruby / rbs
The type signature language for Ruby
brandonyoungdev / tldx
Bulk domain availability checking via RDAP, DNS, and WHOIS, with prefix/suffix permutations, regex patterns, MCP, and multiple output formats
fossasia / eventyay
Open Source Event Management, Ticketing and Checkins, Talks and Schedules, Video and Interpretations, Badges, Exhibitions and more https://eventyay.com
hex-ci / smzdm_script
smzdm 自用脚本 for 青龙面板，支持 App 端签到、转盘抽奖、每日任务等功能
fossasia / eventyay-checkin
eventyay checkin https://access.eventyay.com
zubanls / zuban
Python Type Checker / Language Server
AliveToolkit / alive2
Automatic verification of LLVM optimizations
typetools / checker-framework
Pluggable type-checking for Java
acl-org / aclpubcheck
Tools for checking ACL paper submissions
fossology / fossology
FOSSology is an open source license compliance software system and toolkit. As a toolkit you can run license, copyright and export control scans from the command line. As a system, a database and web ui are provided to give you a compliance workflow. License, copyright and export scanners are tools used in the workflow.
domn1995 / dunet
C# discriminated union source generator
rubocop / rubocop-rspec
Code style checking for RSpec files.
IncarnaMind / IncarnaMind
Open-source, Notion-like AI editor for your local documents and meetings: chat with PDFs, Word, Excel and PowerPoint, write and fact-check with page citations, and take AI meeting notes transcribed on your computer. Compare documents in a table. Mac, Windows, Linux. Works with ChatGPT, Claude, Gemini or Ollama. A NotebookLM and Granola alternative.
barrust / pyspellchecker
Pure Python Spell Checking http://pyspellchecker.readthedocs.io/en/latest/
IBMa / equal-access
IBM Equal Access Accessibility Checker contains tools to automate accessibility checking from a browser or in a continuous development/build environment
johnthagen / python-blueprint
🗺️ Example Python project using best practices 🐍 https://github.com/johnthagen/python-blueprint
github / rubocop-github
Code style checking for GitHub's Ruby projects
snyk / actions
A set of GitHub actions for checking your projects for vulnerabilities.
eslam3kl / SQLiDetector
Simple python script supported with BurpBouty profile that helps you to detect SQL injection "Error based" by sending multiple requests with 14 payloads and checking for 152 regex patterns for different databases.
Nigh / show-me-the-story
<10 MB — self-hosted AI novel writer in a single Go binary with a web UI. Turn ideas into outlines and chapters with review, foreshadowing, fact-checking, and full-book polish. OpenAI-compatible APIs; Chinese & English.
apalache-mc / apalache
APALACHE: symbolic model checker for TLA+ and Quint
py-mine / mcstatus
A Python library for checking the status of Minecraft servers