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 全天候为您工作,了解您的偏好并随着时间的推移变得更好。