laoma528 / awesome-zhuiju-free
免费无广告的追剧资源指南，人工精选资源、每天检测资源有效性。收录在线影视、影视APP、网盘搜索、磁力BT、字幕、TVBox / 影视仓空壳软件/配置地址、IPTV直播源、会员拼团、影视相关开源项目。开源，社区共同维护。
laoma528 / awesome-zhuiju-free
ludovic111 / horizon
Minecraft: Java Edition 26.3 rewritten from scratch in Rust, checked against vanilla with 281 differential harnesses. Get it with the Horizon launcher.
lovisdotio / motion2code
Skills for coding agents: rebuild a motion design video as looping SVG + GSAP code, checked frame by frame against the source
theorem-labs / oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
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.
remnient / romulus
Lean 4 hypervisor memory ownership model with machine-checked isolation proofs
igareck / vpn-configs-for-russia
🗽Бесплатные и проверенные VPN/Tor конфигурации, работающие в РФ ⚪ Белые списки / обход белых списков ⚪ Free and checked VPN/Tor configurations that work in Russia ⚪ Whitelists bypass
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.
kydlikebtc / awesome-grokbot
1894 live x.ai/bot shares for Grok Bot — every link status-checked, every row attributed. Bilingual EN/中文 catalog with a JSON schema, CI, and a searchable site.
wesammustafa / Claude-Code-Everything-You-Need-to-Know
Claude Code guide in three levels, Beginner to Advanced: hands-on lessons with checked exercises, every volatile fact cited to its source. Independent community guide.
vukkt / iglass
A Liquid Glass–inspired theme for iTerm2, Ghostty, kitty and Warp, on macOS and Linux. Real Liquid Glass in Ghostty on macOS 26+; contrast-checked, light/dark, fully reversible.
rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
crystal-lang / crystal
The Crystal Programming Language
NethermindEth / LeanCIL
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.
GanyuanRan / Aegis
Make AI coding agents architecture-aware: baseline-first, evidence-verified, drift-checked, and safe across long tasks.
transact-rs / sqlx
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
Win-Hao / knowledge-video
Agent skill: turn one topic into a 1–3 minute knowledge explainer video — fact-checked article, scene-by-scene copy, freely licensed images, three looks to pick from, a beat-synced storyboard, the opening first. Rendered with HyperFrames.
2akouwu / reverify
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.
imaimai17468 / hypersig
Server-driven hypermedia for Rust where signal names, attribute expressions, actions, and patch targets are type-checked
chainloop-dev / chainloop
Agentic SDLC infrastructure. Define guardrails. Collect signals. Enforce continuously. Signed records of what your AI coding agents and CI/CD pipelines did, checked against policies as code, with the loop closed in CI/CD. AI sessions, SBOMs, VEX, SARIF and SLSA provenance, built on Sigstore and in-toto. Apache 2.0.
Raminshiraz / raft-visualizer
Interactive Raft consensus visualizer. Crash nodes, partition the network, cut single links one-way, and watch elections and log repair play out — with every safety invariant machine-checked against the paper.
dashs20 / CRAP
CRAP: Cycloidal Reducer Algorithm & Parametrizer. Parametric cycloidal gearbox generator (build123d): give it bearings, motor, ratio and eccentricity; get collision-checked, toleranced STEP/STL parts and a live 3D web GUI.
monosans / proxy-list
Free HTTP, SOCKS4 and SOCKS5 proxy lists, re-checked every hour. Plain text and JSON, sorted fastest first, with response time, exit IP, ASN and geolocation. No signup and no API key.
wanshuiyin / ARIS-in-AI-Offer
Bilingual (中文+EN) ML / LLM / diffusion / agent interview cheat sheets for AI 秋招 — generated by ARIS /interview-cheatsheet, rendered by /render-html into single-file HTML, reads anywhere — plus a CV→DBLP-fact-checked academic homepage generator and hand-authored long-form blogs 🌱
phuryn / work-humanizer
A humanizer for work writing: takes the AI tone out without changing what your text says or commits to. Agent Skill + evidence: blind judges, hand-checked meaning changes, Pangram.
junguler / m3u-radio-music-playlists
m3u playlists for radio music, sorted by popularity
sebastianhaba / book-to-course-skill
Claude skill that turns a book (EPUB, PDF, HTML, DOCX, Markdown) into an interactive beginner-friendly course: step-by-step lessons, animations, quizzes, chapter tests, flashcards and coding exercises checked by unit tests, with progress saved to files. Runs in the browser, or packaged as an Android APK or a Linux AppImage.
adityaagarw / Pantheon
An AI workforce on your desktop. Describe the work; a team of AI agents does it in the open and hands it back checked. Any model, any harness: Claude Code, Codex, Hermes, any ACP agent, or you. Windows, macOS, Linux.
CliffWade / hermes-desktop-theme-pack
100 curated + community desktop themes for Hermes Agent across 7 categories, WCAG contrast checked, every theme with a light/dark twin, with the Theme Switcher sidebar plugin
cromford-ai / cromford
Cromford: the open-source software factory. Tickets in, reviewed, merged and production-checked changes out.
kisielk / errcheck
errcheck checks that you checked errors.
shinshin86 / still2rig-psd
Turn one static anime character image into a structured, QA-checked PSD with an AI coding agent, See-through on Google Colab or your own GPU, and a built-in motion preview.
gsxhq / gsxui
shadcn-style components for gsx — copy-in, type-checked, server-rendered
Fausto95 / lucent
Write React Native native modules in TypeScript. Lucent compiles a checked subset to C++ and calls it through JSI: no Swift or Kotlin to write, and no JavaScript engine in native code.
elastio / bon
Next-gen compile-time-checked builder generator, named function's arguments, and more!
cornucopia-rs / cornucopia
Generate type-checked Rust from your PostgreSQL.
azrtydxb / procoder
Senior-developer discipline for AI coding agents. A commit gate that counts unchecked as failing, quality controllers that refuse to call unfinished work done, and a lessons loop that closes each escaped bug's class. One Go binary, no runtime deps, works with 20+ agents.
OpenLabs-so / oa-design
The Open Analytics design language as an agent skill: component recipes with type-checked source, token CSS, and a CLI. Works with Claude Code, Cursor, or any agent.
mohamedsoufan / lebanon-misinformation-authentic-vs-ai
Data, code, figures, and supplementary materials for a study of 142 Arabic- and English-language fact-checked misinformation claims from the 2026 Lebanon conflict, comparing authentic-content misuse with AI-related content and examining newsroom penetration.
mtizima / docker-rollout-action
Zero-downtime Docker Compose deploys over SSH with docker-rollout. Health-checked rollout with automatic rollback, migrations hook, ephemeral registry login. Plain Bash, no Kubernetes
hazelxue / storymap-gen
From a place and a topic to an ArcGIS StoryMap, with every claim fact-checked against the data
Abdulkader-Safi / AI-Writing-Rules
Claude Code plugin that stops Claude writing like an AI. 29 researched patterns, loaded every session and checked on every file write.
gundamgungungun / create-xhs-concept-notes
Codex skill for fact-checked Xiaohongshu concept explainer cards.
SkyNotSilent / awesome-MiniMax-H3-cases
2801 playable MiniMax H3 / Hailuo H3 cases, 731 complete public Prompts, and 25 source-checked tutorials. Bilingual, traceable, updated continuously.
Clearailhc / clearai-dsh
ClearAI：以本体为纲的原生 DSH 插件 —— 经证据核验的研究长成可浏览的领域本体。 · ClearAI: an ontology-first DSH agent preset — evidence-checked research that grows into a domain ontology.