cloudflare / security-audit-skill
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
cloudflare / security-audit-skill
impacifist / Windows-GPU-UNLOCK
Windows GPU UNLOCK: RTX3090 UEFI port, Korean no-reset Windows boot guide, verified source and benchmark evidence
dagoSte / squadra
Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and independent review. Built-in skills recall lessons, simplify code and forecast work. Track progress, decisions and evidence in a bilingual local dashboard, with MCP plugins. Browse skills and verified security audits.
SWE-agent / mini-swe-agent
The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no huge configs, no giant monorepo—but scores >74% on SWE-bench verified!
h9-tec / ai-roadmap-2026
AI Roadmap 2026: a beginner's path through Foundations, LLM Engineering, Agents, Evaluation, and Production, with verified free resources and a mini-project per layer
ChaosCaptain / DVD-Creator
Complete DVD Creator 2025 desktop installation build, ready-to-run with all essential features activated.
verus-lang / verus
Verified Rust for low-level systems code
tangency-labs / fieldcraft
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
mll-lab-nu / embodied-first-exam
The first exam for code agents in the physical world: frozen robot tasks from many benchmark suites, each answered with a program and verified in a separate sandbox. Runs on Harbor.
YOLOW92 / pagesift
Rust web content engine: clean Markdown, incremental collections, isolated HTTP sessions and verified media archives. Firecrawl-compatible API.
Hybirdss / Hycli
Websites, ready for AI. Turn website tasks into verified CLI and MCP actions, with a local dashboard and 20 languages.
1105216375-alt / resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Abdess / retrobios
Source-verified BIOS and firmware packs for RetroArch, Batocera, Recalbox, Lakka, RetroPie, EmuDeck, RetroBat, RetroDECK, RomM, BizHawk, ROCKNIX, and MiSTer FPGA. Platform-native verification, with emulator source code as the deciding authority.
cclank / lanshu-create-ai-presenter-video
Provider-neutral Codex Skill for producing verified AI presenter videos from a script and an authorized presenter image.
jiutinglifeng / ios-calltone-silence
Silence iOS call-recording disclosure tones over USB — no app, no jailbreak, no signing, no VPN. macOS, one cable. Verified on iOS 27.0.1 (24A446).
new-experement / blender-asset-studio
Skills for semi-autonomous 3D asset creation in Blender with Codex and Claude Code: visual self-review, iterative fixes, and verified exports.
VinkyDev / vibestart
Compose a full-stack TypeScript stack and get a cutting-edge, verified project made for AI coding agents, with type safety, lint, and tests built in. | 自由组合全栈 TypeScript 技术栈，得到一个前沿、经过验证、为 AI 编码智能体打造的项目，内置类型安全、lint 与测试。
keegan0521 / CinderVM
Deterministic bytecode VM for agent execution - verified images, snapshots and a hash-chained replay journal
Hearts-Ace / sony-a7r5-custom-firmware
Sony A7R V / ILCE-7RM5 FL2/FL3 firmware adaptation source, RAW color research and verified workflow; based on Erlla A7M4 and ILCE-7M4-RE.
mbm110 / MSN-GUARD
Device-wide Android VPN for difficult networks: WireGuard, MASQUE, WARP-on-WARP, Psiphon, Tor, Foxy and SHARD — with Rust core, endpoint discovery, MTU scanning, multiple TUN engines, profiles and verified connections.
palemorrow / rumus
regex matching via derivatives + language equivalence
rough2515-hub / rtx3080-unlock-public
Experimental UEFI compute unlock for a verified MSI RTX 3080, with USB boot instructions and reproducible source.
code-yeongyu / lazycodex
The one and only agent harness for complex codebases. Project memory, planning, execution, and verified completion inside Codex.
markterence / discord-quest-completer
A Windows desktop application to complete quests on Discord without installing the full actual games.
AMAP-ML / LongHorizon-Harness
The long-horizon computer-use harness. Run AI agents across desktop apps and the CLI for extended periods while preserving task state and making reliable progress on complex workflows. Features fresh-context execution, durable verified state, independent auditing, recoverable progress, and native Claude Code / Codex / OpenClaw integration.
negarprh / Canadian-Tech-Internships-2027
A curated, regularly updated list of Canadian tech internships for Summer, Fall, and Winter 2027. Includes computer science, software engineering, software development, data, and IT internships across major Canadian cities and remote roles, with verified opportunities for students studying in Canada.
Sekolah76 / syadagentic
Universal Zero-Refusal Agent Framework - 40+ jailbreak templates (T1-T119), 1128 curated skills, executable framework-core, installer untuk Hermes/Claude/Codex/opencode. Verified.
Yharnam-Hunters / Paleblood
A decompilation of Bloodborne (CUSA03173 v1.09) with its own runtime: the game's code rewritten as readable C++, one verified function at a time. The game doesn't run on it yet; 21 functions verified. No game files included.
pegainfer-project / kern
A model-agnostic GPU runtime for shipping models as verified programs.
precis1onz / tokenation
Daily-updated free LLM API list — top AA-scored picks, free tokens to burn. Evergreen + limited-time lists, every entry verified against official pages. 日更免费 LLM API 羊毛清单｜AA 指数高分精选，token 自由无脑蹬！常态免费+限时羊毛双清单，条目逐条对官方页核实。
jeremylongshore / tons-of-skills-marketplace
Model-agnostic agent-skills platform with a harness-free canonical layer, verified adapters, and the ccpi package manager. Explore at tonsofskills.com.
0xSteph / pentest-ai
Open-source AI pentester that proves every finding. Machine oracles re-run each exploit; verified bugs ship a proof capsule you can replay yourself.
amos689 / paper-preflight
Pre-submission integrity gate for LaTeX papers: every reference verified against real scholarly records. No LLM guessing.
jnMetaCode / agency-orchestrator
🚀 One sentence → your one-person company of AI experts → complete deliverable in minutes. 276 CN + 184 EN + 5 more languages (ko/ru/pt-BR/id/ar) · zero-code YAML · auto-verified acceptance · Web Studio / Desktop / Docker · 15 LLM providers (11 key-free). 一句话组建你的「一人公司」AI 专家团队，几分钟交付完整方案；验收自动核验，网页 / 桌面 / Docker 全渠道。
GanyuanRan / Aegis
Make AI coding agents architecture-aware: baseline-first, evidence-verified, drift-checked, and safe across long tasks.
midasmatterhorn / artcraft-skills
Agent skills (SKILL.md) for the ArtCraft Rust creative suite — evidence-verified, MCP/CLI surfaces — for Claude Code, Codex, OpenCode, Devin, CommandCode, ZCode
ZeroPointRepo / awesome-grok-bot
Grok Bot skills, plugins, and MCP servers: 60+ verified entries plus self-hosted alternatives.
MDHan / a7c2-fl23-macos
Experimental macOS adapter for QAQLeonard/a7c2-fl23-research: A7C II 2.01, MSC USB handling, verified backups and explicit installation phases.
Tencent / Game-Creation-Agents
🎮 Tencent Game-Creation-Agents (GCA) is an end-to-end pipeline that turns a natural-language idea into a playable, verified browser game.
NVIDIA-AI-Blueprints / video-search-and-summarization
NVIDIA AI Blueprint for video search and summarization (VSS) is a GPU-accelerated reference architecture for building video analytics agents with real-time verified alerts, visual Q&A, and automated reporting. The VSS Blueprint uses vision language models (VLMs) such as NVIDIA Cosmos, LLMs such as NVIDIA Nemotron, RAG, and NVIDIA NIMs.
argilla-io / distilabel
Distilabel is a framework for synthetic data and AI feedback for engineers who need fast, reliable and scalable pipelines based on verified research papers.
karanb192 / awesome-claude-skills
🎯 The definitive collection of 50+ verified Awesome Claude Skills for Claude Code, Claude.ai, and API. Boost productivity with TDD, debugging, git workflows, document processing, and more. Community-driven, actively maintained.
remnient / liveness
Verified dead store elimination in Lean 4 with a proved terminating liveness fixed point
sahibzada-allahyar / Formal-Verification-RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
fuxiaoai / tidings-rss
Curated, live-verified OPML collections for AI, news, research, blogs, videos, podcasts, and engineering.
SoliSpirit / mtproto
Fresh and reliable Telegram MTProto proxies updated automatically every 12 hours. Free, fast, and verified proxy list to bypass censorship and ensure secure Telegram access worldwide.
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
ejfkdev / ddc
Android DEX → Java decompiler in Rust, built for speed — full apps in seconds, queries in milliseconds. Progressive analysis, javac-verified output, every DEX version, multi-dex & XAPK/APKS/APKM containers.
bailo167 / awesome-game-mashups
Curated list of games rebuilt inside other games — cross-game mechanics, engine/runtime mashups, playable ports, and verified viral projects.
Thefrizzy1 / The_frizzy1-Workflows
Verified, organised docs for every The_frizzy1 low-VRAM ComfyUI workflow - GGUF image/video/audio from 4GB VRAM.
knostic / OpenAnt
OpenAnt from Knostic is the leading open source LLM-based vulnerability discovery and remediation product, helping defenders proactively find and patch verified security flaws while minimizing both false positives and negatives. Stage 1 detects. Stage 2 attacks. What survives is real.
GrapheneOS / Auditor
Hardware-based attestation and intrusion detection app for Android. It provides both local verification with another Android device via QR codes and optional scheduled server-based verification with support for alert emails. It uses hardware-backed keys and attestation support as the foundation and chains trust to the app for software checks.
AbsInt / CompCert
The CompCert formally-verified C compiler
bitjaru / styleseed
Open-source design-method engine for Claude Code, Codex & Cursor. 23 agent skills for fixed design judgment, multiple grammars, semantic palettes, reference compilation, and evidence-verified UI. MIT.
LerSent001 / orb
实时 WebGPU 液态玻璃球编辑器，支持 Web 与 SwiftUI/Metal 导出，使用 OpenAI Codex 辅助开发与验证 | Real-time WebGPU liquid-glass orb editor with Web and SwiftUI/Metal export, built and verified with OpenAI Codex.
tgmtproxy / telegram-mtproto-proxy-list
MTProto прокси для Telegram: рабочий список мтпрокси для тг, обновляется каждый час. Free Telegram MTProxy list, verified hourly.
DevMortimer / pi-warden
Guardrails for Pi that steer instead of interrupt: enforces your project rules on every write, holds only hard-to-undo actions (3 per 1,000 calls, measured on real sessions), catches unverified "done" claims and stuck loops, and trims tool output. Built on pi-typesafe.
cth9191 / site-clone
Point Claude Code at a URL, get a teardown + a verified near pixel-identical rebuild. Runtime probes, evidence-tagged TEARDOWN.md, Playwright pixel-diff QA.
voygr-tech / placecall
The phone is your last API. Give your agent a voice to call any US business - reservations, inquiries, quotes. Verified outcome + transcript. First 250 calls free.
ApplyGuy / 2027-New-Grad-Jobs
Verified 2027 new grad and entry-level software engineering jobs, updated automatically from employer career sites.