新世代

紙とペンのような感覚で証明を行える Lean 定理証明インターフェース

聶・末端組織の運営ロジック・Agent Skill：聶輝華の『基層中国的運行邏輯』の方法論に基づくツールボックス（原書の全文は含みません）

Lightning-fast, free, local first voice dictation for macOS with on-device transcription

Edge-Drop is like a Dynamic Island for your desktop clipboard. It hides on the edge of your screen and opens when you hover near it, letting you easily store and drag text, links, images, and files directly into any application.

TypeScript のボット検出: WebDriver、ヘッドレス Chrome、Playwright/Puppeteer、ロボットによるマウス操作/タイピング、データセンター IP、JA3 TLS の不一致、タイムゾーンのなりすましを検知 (ブラウザ + Node)。

Edge が資格情報を平文で保存していることを示す概念実証（PoC）

エビデンス駆動型のインシデント対応、承認制の修復、およびランブックの学習を実現する、Hermes ネイティブの AIOps エージェント

CuTe DSL と CUTLASS C++ で記述された、線形アテンションバリアント用の CUDA カーネル

Claw Code。Rustなし、TypeScriptなし、Pythonのみ。扱いやすく、高速にイテレーション可能。🔥 外部依存関係ゼロ 🔥

macOS 用 Headroom — Claude Code と Codex のトークンコストを約 50% 削減

AI コーディングツールでプロトタイプ作成や構築を行うデザイナー向けのエージェントスキル集。これらのスキルはデザインプロセスをコード化し、AI がランダムな出力を生成するのではなく、構造化されたパスに従うようにします。

素晴らしい Multimodal Modeling（MLLM、UMM、NMMを網羅）

ペネトレーションテストのチートシート、ガイド、ツールの包括的なコレクション。

Pokeのオープンソース実装。

Claude Code + Linear + GitHub PRのようなツール

本プロジェクトは企業内の認可された環境における資産管理、セキュリティ運用、およびコンプライアンスチェックのみを目的としており、利用者は対象システムに対する正当な権限を確保する必要があります。くいかなる未承認のシナリオでの使用も禁止されており、開発者は悪用行為に対して責任を負いません。

🤖 視覚認識、カスタムYOLOモデル、OCR、データベース監視に基づいて実装された、実行時ゼロ侵入型の微信4.0 RPAフレームワーク。動的なプラグイン接続をサポートし、OpenAIやDifyに適合し、すべてのメッセージタイプの解析をサポートし、テキスト、画像、ファイルのメッセージ送信機能を内蔵し、ミニプログラムやモーメンツの送信に拡張可能です。

データ駆動型のエージェント基盤とインサイト。Ant Open Source および inclusionAI が提供します。

さまざまなデバイスやエミュレーターのエミュレーション互換性を追跡するためのコミュニティ駆動型プラットフォーム。

量子コンピューティングのコースコンテンツ

現在のユーザーが中国のユーザーかどうかを判定する

無料ノード、3時間ごとにサブスクリプションを自動更新

Stremio向けのコンパニオン。

Finderの右クリックメニューをより強力にする、優れた機能拡張ツール

iroh を活用して構築された素晴らしいリソースのキュレーションリスト

globbyおよびfast-globの高速でミニマルな代替品