Skip to main content

黑洞资源笔记

  1. Pyrefly 是一款专为 Python 打造的高性能类型检查器与语言服务器。它不仅能以极快速度完成类型检查,还内置了代码导航、自动补全、语义高亮等 IDE 功能,让开发者在命令行和编辑器中都能获得一致体验。

    项目在 Instagram 的 2000 万行代码库中得到大规模验证,同时也被 PyTorch、JAX 等知名开源项目采用。Pyrefly 内置对 Pydantic、Django 等主流框架的支持,开箱即用;迁移工具 pyrefly init、pyrefly suppress、pyrefly infer 则让从 Mypy 或 Pyright 切换变得轻松。

    目前支持 VSCode、Neovim、Zed 等编辑器,可通过 pip install pyrefly 快速安装。

    主要功能:
    - 闪电级类型检查,单秒可处理 185 万行代码;
    - 完整语言服务器,支持跳转、补全、悬停提示等;
    - 框架感知,Pydantic 与 Django 模型开箱即用;
    - 平滑迁移,提供一键初始化、错误抑制与类型推断;
    - CLI 与 IDE 结果一致,重新检查通常在 10 毫秒内完成。
  2. .NET 开发者的 AI 编码助手.NET Agent Skills 仓库为 Copilot、Claude Code 等工具提供了一整套官方精选技能插件,涵盖 .NET 数据访问、性能诊断、MSBuild 构建、NuGet 包管理、.NET MAUI、ASP.NET Core 以及 .NET 11 新特性等常见场景,让 AI 代理更懂 .NET,编码效率直接拉满。

    主要功能:
    - 核心 dotnet 插件,处理日常 .NET 编码任务
    - dotnet-data、dotnet-msbuild、dotnet-nuget 等细分领域技能
    - 支持 .NET 升级迁移、MAUI 开发、AI 集成等进阶场景
    - 兼容 Copilot CLI、Claude Code、Cursor、VS Code 等主流工具
    - 遵循 agentskills.io 标准,可快速安装与更新

    无论你是日常维护项目还是升级老代码,dotnet/skills 都能让 AI 代理更精准地帮你完成任务。
  3. oh-my-pi 把所有开发所需的能力直接塞进终端:支持 40+ 模型、32 种内置工具、LSP 代码智能、真实调试器、浏览器操作、子代理并行、GitHub 一体化读写……再也不用在 IDE、浏览器、命令行之间疯狂切换。

    一次安装即可拥有:哈希锚点精准编辑、结构化 AST 重构、持久化 Python/JS 沙箱、时间旅行规则注入、Hindsight 项目记忆……支持 macOS / Linux / Windows,本地即可运行,适合个人开发者与团队日常编码。

    主要功能:
    - 哈希锚点编辑:用内容哈希精准定位,首试即中,告别重试循环;
    - LSP & 调试器直连:重命名、诊断、断点、堆栈一步到位;
    - 子代理并行:任务自动拆分,多 worker 独立工作树,结果结构化返回;
    - 浏览器 & Web 搜索:内建 Puppeteer + 14 家搜索后端,PDF/网页直接转 Markdown;
    - 冲突与预览:合并冲突一键解决,AST 编辑先预览再落地;
    - 跨平台原生:无需 WSL,Windows/macOS/Linux 同一二进制;
    - 即插即用配置:自动继承 Cursor、Copilot、Claude 等已有规则,无需迁移。

    支持 Web、终端、Node SDK、ACP 协议多入口,通过 bun/npm 一键安装,适合需要「开箱即用、永不落伍」的 AI 编码工作流。
  4. AI Agent 治理工具包(Agent Governance Toolkit),它为自主 AI 代理提供策略执行、零信任身份、执行沙箱和可靠性工程,全面覆盖 OWASP Agentic Top 10 十大风险。

    核心能力包括:
    - 确定性策略引擎:每次工具调用、资源访问和代理间消息均在执行前评估,P50 延迟仅 0.012 ms,支持 YAML/OPA/Rego/Cedar;
    - 零信任身份:Ed25519 + 量子安全 ML-DSA-65 凭证,行为信任评分随异常衰减,并兼容 SPIFFE/SVID;
    - 四层执行沙箱:内核/主管/用户/不受信四级隔离,支持 Saga 编排与一键熔断;
    - 合规与审计:Merkle 链式防篡改日志,自动映射 EU AI Act、SOC 2、HIPAA、GDPR;
    - MCP 安全网关:检测工具投毒、描述漂移、隐藏指令等风险。

    支持 Python、TypeScript、.NET、Rust、Go 五种语言,兼容 LangChain、CrewAI、AutoGen、Semantic Kernel 等 20+ 主流框架。安装一行命令:pip install agent-governance-toolkit[full]。
  5. 找工作最怕的就是在多个平台翻找职位、反复投递却毫无回音。JustHireMe 把职位抓取、匹配度和材料定制全部集成到本地桌面应用里,让求职流程真正可控。

    它通过本地优先架构,自动从 ATS、RSS、社区等多源抓取职位,再用确定性规则与向量匹配对简历进行打分,过滤掉过时或低质岗位。匹配通过后还能一键生成针对该岗位的简历、求职信及多渠道沟通文案,全部在本地完成。

    项目采用 Tauri + React + Python FastAPI 构建,支持 Windows 一键安装;AGPL-3.0 许可,代码完全开源,方便扩展新的职位来源与排名策略。

    主要特性:
    - 多源职位抓取与质量门控,去重低质与过时岗位;
    - 确定性规则 + 向量匹配,给出可解释的匹配分数;
    - 本地生成定制化简历、求职信与外联文案;
    - 全部数据与模型在本地运行,隐私可控;
    - 支持添加自定义职位来源与排名规则。
  6. qiaomu-anything-to-notebooklm 是一款专为 NotebookLM 设计的多源内容处理器。它能将微信文章、网页、YouTube、PDF、Markdown 等 15 种不同来源的内容,自动转换成播客、PPT、思维导图、Quiz 等多种输出格式。

    核心亮点在于内置 6 层级联策略,可自动绕过 300 多个付费网站的付费墙,让 Claude 直接获取完整内容并上传 NotebookLM 生成目标文件。无论是付费新闻、播客音频还是电子书,都能通过自然语言指令完成转换。

    项目支持 Python 3.9+,通过一键安装脚本即可部署,适合需要频繁处理多源内容并生成结构化输出的用户。

    主要功能:
    - 支持微信、X、YouTube、播客、PDF、EPUB 等 15+ 内容源输入
    - 自动绕过 NYT、WSJ、FT 等 300+ 付费网站
    - 一键生成播客、PPT、思维导图、Quiz、报告等多种格式
    - 支持深度分析模式,自动生成 12 个递进式问题并输出结构化 JSON
    - 可将分析结果写入飞书文档
    - 提供安装脚本与环境检查工具,快速上手