cc-thinking-skills
28 eval-informed mental models and critical-thinking skills for Claude Code, GitHub Copilot, Codex, Cursor, and other Agent Skills-compatible tools
HYSEN LABS ディレクトリ
正確な分類、検証済みメタデータ、実用的な文脈で注目プロジェクトを整理します。
28 eval-informed mental models and critical-thinking skills for Claude Code, GitHub Copilot, Codex, Cursor, and other Agent Skills-compatible tools
LLMs as Copilots for Theorem Proving in Lean
Open-source tool for network discovery, visualization, and monitoring. Built with Go, FastAPI, and React, supports Docker host scanning.
動漫花園 镜像站 | 动画 BT 资源聚合站 | 动画 BT 资源开放接口
Lifecycle-Aware Memory for long-horizon LLM agents — 66.05% on PaperBench, 94.66% on SurveyBench, 10 peer-reviewed acceptances at FSE/ICML/TOSEM/AEI/ICoGB
first-fluke/oh-my-agentは実運用向けに使える実用的なオープンソース実装で、再利用可能な導入ルートを持つプロジェクトです。
Mouseover Translate Any Language At Once - Chrome Extension: PDF Translator, EBOOK, EPUB, OCR, TTS, NETFLIX, YOUTUBE DUAL SUBTITLES, GOOGLE DOCS, AI, VIEWER, GMAIL, WRITING, IMAGE, DUAL SUBS, MANGA, HOVER, DICTIONARY, WEBTOON, EDGE, JAPANESE, ENGLISH
Agentic Development skills behind the JS Mastery workflow
Plex HTTP Anidb Metadata Agent (HAMA)
軽量で自己完結型の Linux サーバー監視ツール。 KULA 軽量で自己完結型の Linux サーバー監視ツール。** Web サイト |デモ | Docker Hub 依存関係ゼロ。
Turn copy into rich one-minute Gemini Omni Flash stickman video prompt packages.
Effortlessly request recommended movies, TV shows and anime to Jellyseer/Overseer based on your recently watched content on Jellyfin, Plex or Emby—let SuggestArr handle it all automatically, keeping your library fresh with new and exciting content!
Koillection is a self-hosted service allowing users to manage any kind of collections.
Survival analysis built on top of scikit-learn
AI-first 3D & AR SDK for Android (Jetpack Compose + Filament), Apple (SwiftUI + RealityKit) and the web. Opens glTF/GLB, 3MF, STL, OBJ and PLY on Android and USDZ on Apple, at real size in AR. An assistant reads llms.txt and writes code that compiles first try; also an MCP server and a ChatGPT/Codex plugin.
Source-available Android DNS tunneling client with VPN and proxy modes, backed by MasterDNS & StormDNS.
Large Language Model based Multi-Agents: A Survey of Progress and Challenges (In IJCAI 2024)
Live training loss plot in Jupyter Notebook for Keras, PyTorch and others
Bernini is a unified framework for video generation and editing that combines an MLLM-based semantic planner with a DiT-based renderer.
AI アシスタントはセットアップが簡単で、24 時間年中無休で作業を行い、ユーザーの好みを認識し、時間の経過とともに改善されます。