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 伺服器監控工具。 K U L A 輕量級、獨立的 Linux 伺服器監控工具。 ** 網站 |示範 | 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.
人工智慧助理易於設置,24/7 全天候為您工作,了解您的偏好並隨著時間的推移變得更好。