analysis
分析 I のリーンな付属品。たとえば、第 2 章では Mathlib に依存しない自然数の理論を展開しますが、後続のすべての章では代わりに Mathlib の自然数を使用します。
HYSEN LABS ディレクトリ
正確な分類、検証済みメタデータ、実用的な文脈で注目プロジェクトを整理します。
分析 I のリーンな付属品。たとえば、第 2 章では Mathlib に依存しない自然数の理論を展開しますが、後続のすべての章では代わりに Mathlib の自然数を使用します。
Databricks Toolkit for Coding Agents provided by Field Engineering
Model Context Protocol (MCP) plugin to connect with Unity Editor — designed for Cursor, Claude Code, Codex, Windsurf and other IDEs
fastdup is a powerful, free tool designed to rapidly generate valuable insights from image and video datasets. It helps enhance the quality of both images and labels, while significantly reducing data operation costs, all with unmatched scalability.
Enterprise-grade feature flag platform that you can self-host. Get started - free.
💫 Models for the spaCy Natural Language Processing (NLP) library
Full-stack AI app generator — FastAPI + Next.js with AI Agents, RAG, streaming, auth, and 20+ integrations out of the box.
Code Editor for the AI Agents Era. Run multiple Claude Code and Codex agents across projects on your machine.
High-performance multi-data-source database client — ~30MB, AI & MCP ready, zero Electron bloat. | 高性能多数据源数据库客户端:约 30MB,AI 与 MCP 就绪,告别 Electron 膨胀。
Usable Implementation of "Bootstrap Your Own Latent" self-supervised learning, from Deepmind, in Pytorch
A package for the sparse identification of nonlinear dynamical systems from data
[CVPR 2025] Open-source, End-to-end, Vision-Language-Action model for GUI Agent & Computer Use.
Personal AI desktop agent for Windows, macOS, Linux, Android & iOS. Set a goal, it works on its own. Teams (pair two desktops, agents + humans), Agent2Agent, Workflows, Codework, multi-agent orgs, desktop + browser automation. 15+ AI providers, BYOK. No Docker, no terminal. Agent Skills (SKILL.md). Migration importer. Recurring autonomous tasks.
Self-hosted application server for schema-driven APIs, identity, files, automation, integrations, realtime, metering, and protocols.
将 Cursor Web Docs 免费 API 转换为 OpenAI/Anthropic 兼容格式的代理服务。提供 Claude Code工具及图片支持。
A Kubernetes-native control plane for AI agent instance management, with governed AI access, runtime orchestration, and reusable resources across multiple agent runtimes.
A curated list of Graph/Transformer-based fraud, anomaly, and outlier detection papers & resources
Unofficial API Wrapper for Perplexity.ai + Account Generator with Web Interface
Official Microsoft Learn MCP Server and CLI tool – powering LLMs and AI agents with real-time, trusted Microsoft docs & code samples.
Your AI agent skills, finally organized. A macOS app to browse, edit, and manage skills across Claude Code, Cursor, Codex, Windsurf, and Amp.