Rust port of the TypeScript 7 type checker
A collection of role-specific AI agent personas with defined processes and deliverables, installable into tools like Claude Code, Cursor, and Gemini CLI.
Agent plugin that generates 3D CAD models (STEP, GLB, STL, 3MF) locally and runs design-for-manufacturing checks and engineering drawings.
FREE FOREVER, NO LIMITS 100% Programmatic, Zero-AI Plagiarism Remover & Similarity Evader. Bypass Turnitin, iThenticate, GPTZero, CopyLeaks, & ZeroGPT for LaTeX, DOCX, & Multi-Language Source Code.
Agent skills that give coding agents taste: art direction, reference images and a browser check instead of generic AI pages
LayerFS gives every agent an isolated, disposable filesystem fork without copying the shared base. Useful states become durable, deduplicated checkpoints with workspace-scoped tool history—ready to branch, rewind, or reuse across parallel development, environment experiments, and MCTS-style rollouts.
Stop That Shit(别再造史了)|面向 Codex/GPT 场景的多平台 Hook + Skill Guard:拦截 AI coding agent 无需求的哈希、校验和与任务范围膨胀。 A multi-platform Hook + Skill Guard for AI coding agents in Codex/GPT workflows: stop unrequested hashes, checksums, and task-scope creep.
Zero Breach — local, read-only scanner that checks a computer for indicators of the AdFection / Candiru ad-delivered spyware campaign. No network, no admin, no dependencies.
A curated Chinese-language guide to free, ad-free sources for watching TV shows and movies, with availability checked daily.
A self-hosted UPI & COD payment gateway with zero per-transaction platform fees, universal JavaScript checkout integration, dynamic QR payments, WhatsApp OTP authentication, and automated payment verification.
ClearAI:以本体为纲的原生 DSH 插件 —— 经证据核验的研究长成可浏览的领域本体。 · ClearAI: an ontology-first DSH agent preset — evidence-checked research that grows into a domain ontology.
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per request.
Android app that installs and updates apps directly from their release pages across many sources, with update notifications.
Check Risk WAF is an all-in-one Web Application Firewall with Anti-Bot and Anti-DDoS protection at L3, L4, and L7. Available on-premises or as SaaS, it protects web apps against OWASP Top 10 attacks, CWE vulnerabilities, botnets, and DoS/DDoS. Free and unlimited for everyone, forever for personal, non-commercial use.
Claude Code plugin that runs a GitHub Projects board through build, QA, and review skills, merging PRs when checks pass.
AI writing assistance. Free & open source. Offline English and German grammar checks, with rewrites and translation through your own AI.
一个脚本搞定 DSH / WorkBuddy / ZCode / Codex / Cursor / Claude 六客户端的提示词与人格替换:零依赖、双击即用、可自证、改前备份、一键还原。另附【免装 Python 的单文件 exe】;DSH 自动区分官方桌面版 / 社区桌面版。附 bandit/semgrep 扫描与 SHA256 校验。
ai副业赚钱大集合,教你如何利用ai做一些副业项目,赚取更多额外收益。The Ultimate Guide to Making Money with AI Side Hustles: Learn how to leverage AI for some cool side gigs and rake in some extra cash. Check out the English version for more insights.
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.
Community curated list of templates for the nuclei engine to find security vulnerabilities.
自动领取 WorkBuddy / Qoder CN 每日签到积分与成长中心全部奖励 —— Buddy 旅行礼物、派 Buddy、开盲盒、领任务、连登兑换、断登补签全覆盖。无需额外安装依赖,一句话让 AI 自动配好 Windows / macOS 定时任务,零 Token 静默运行。
a totally PRIVATE paper agent that help you review your own paper.Prevent other AI company steal your paper and publish as their own work :)
Imei Repair Free 2025: Full working installer for a comprehensive solution to manage device identifiers.
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
Skills for coding agents: rebuild a motion design video as looping SVG + GSAP code, checked frame by frame against the source
More Methods, Better Agents? A Reality Check on Self-Distillation in Agentic Reinforcement Learning
SEO foundation checks as an Agent Skill: give it a URL, get a crawler's-eye pass/fail report with evidence. 26 structural checks, zero LLM, deterministic.
Say It Simply, Test It Properly. Agent-powered strategy research with independent ledger checks and reproducible reports.
A self-hostable personal dashboard for homelabs with status checks, widgets, themes, icon packs, and a UI config editor.
POE Overlay, Price Checker and Helper tool for Path Of Exile 1 and 2.
POE Overlay, Price Checker and Helper tool for Path Of Exile 1 and 2.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
BimCraft: BIM authoring. Parametric walls, doors and windows on levels and grids, with views, schedules, sheets and clash checks from one model.
Inference code, checkpoints, and notebooks for Meta's Segment Anything Model (SAM), which produces object masks from points, boxes, or automatically for whole images.
GEO-first SEO skill for Claude Code. Comprehensive AI search optimization for any website — citability scoring, AI crawler analysis, brand authority, schema markup, platform-specific optimization, and PDF reports. If you want learn how to sell this to real businesses, check out the skool community
IP质量检测脚本 - IP Quality Check Script
McDebate: agent debates, shared ordering and official checkout handoff over MCP
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
POE Overlay, Price Checker and Helper tool for Path Of Exile 1 and 2.
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
Fast Hotmail Checker. Hotmail Checker. Hotmail Checker Python.
I am not a robot — a captcha solver for macOS: local model, Gemini vision, a stealth browser for checkbox captchas, RuCaptcha as the last resort. 2Captcha-compatible API and an MCP server.
Welcome to the SDE Interview Preparation Roadmap! This repository is not just about my personal journey; it's a collaborative space for collective learning. As I prepare for Software Development Engineer (SDE) interviews, I've created a comprehensive checklist to guide my preparation.
Procedural animation in any style for Claude Code: short single-file canvas videos with story, look and storyboard check-ins. 7 built-in styles or one matched from your references, your own music (beat-mapped), real product screenshots, every format from one piece.
中国移动 App 自动签到(签到领流量/话费)· Bark 推送
ShellCheck, a static analysis tool for shell scripts
Lean 4 hypervisor memory ownership model with machine-checked isolation proofs
Claude re-derived a published one-loop quantum gravity calculation step by step: 18 tasks, 183 pages of derivations, 38 reproducible checks. It found a sign error and a missing term; the physical conclusion survived.
Linux operating system for embedded routers and devices, providing a writable filesystem with opkg package management.
Self-hosted personal finance manager for tracking expenses, income, budgets, categories and tags, with financial reports.
🗽Бесплатные и проверенные VPN/Tor конфигурации, работающие в РФ ⚪ Белые списки / обход белых списков ⚪ Free and checked VPN/Tor configurations that work in Russia ⚪ Whitelists bypass
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
可嵌入的 TypeScript Agent Runtime —— model→tool 循环、checkpoint、interrupt 屏障,零生产依赖,可嵌进任何宿主。
Claude Code and Codex CLI skills for legal scholarship: verified research memos, cite-checking, proofreading, Zotero library building, SCOTUS case prep
lust: a Rust-subset compiler with an incremental daemon (fast dev checks for ts-rust)
Deep research for any AI agent on DeepSeek's new Search API. Subagents, fact-checking, and a clean HTML report.
This repository is maintained by Omar Santos (@santosomar) and includes thousands of resources related to ethical hacking, bug bounties, digital forensics and incident response (DFIR), AI security, vulnerability research, exploit development, reverse engineering, and more. 🔥 Also check: https://hackertraining.org
The repository provides code for running inference and finetuning with the Meta Segment Anything Model 3 (SAM 3), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.
High-performance single-GPU inference for selected model checkpoints and GPUs.
Minecraft: Java Edition 26.3 rewritten from scratch in Rust, checked against vanilla with 281 differential harnesses. Get it with the Horizon launcher.