开发工具

1. 首页
2. IT互联网
3. 开发工具

《Mac 配置 Codex App 代理完整指南：端口检测 + launchctl 设置 + 取消代理》

Mac Codex App 无法联网？3 步教你正确配置代理（完整指南）📚 目录 一、问题背景 二、第一步：查看本机代理端口 三、第二步：测试代理是否可用 四、第三步：给 Codex App 配置代理 五、让 Codex 代理配置生效 六、验证代理是否生效 七、如何取消代理配置 八、代理配置是否会影响国内软件 九、开发者推荐的代

开发工具 2026年04月18日 152 点赞 0 评论 12528 浏览

GitHub 热榜项目 - 日榜(2025-10-10)

GitHub 热榜项目 - 日榜(2025-10-10)生成于：2025-10-10 统计摘要共发现热门项目：12 个榜单类型：日榜 本期热点趋势总结 根据本期GitHub热榜项目分析，技术趋势正朝着AI智能化和跨平台兼容性两大方向深度融合。以SurfSense、openai-agents-python和stagehand为代表的项目&

开发工具 2025年10月20日 118 点赞 0 评论 12566 浏览

【Linux基础开发工具 (三)】Vim从入门到精通（下）：效率翻倍的编辑技巧与个性化配置攻略

🔥艾莉丝努力练剑：个人主页❄专栏传送门：《C语言》、《数据结构与算法》、C/C++干货分享&学习过程记录、Linux操作系统编程详解、笔试/面试常见算法：从基础到进阶⭐️为天地立心，为生民立命，为往圣继绝学，为万世开太平🎬艾莉丝的简介：​&#x1

开发工具 2025年12月15日 93 点赞 0 评论 12582 浏览

AI IDE+AI辅助编程，真能让程序员“告别996“吗？

🌟 Hello，我是蒋星熠Jaxonic！ 🌈 在浩瀚无垠的技术宇宙中，我是一名执着的星际旅人，用代码绘制探索的轨迹。 🚀 每一个算法都是我点燃的推进器，每一行代码都是我航行的星图。 🔭 每一次性能优化都是我的天文望远镜，每一次架构设计都是我的引

开发工具 2025年11月06日 97 点赞 0 评论 12583 浏览

Google Antigravity，AI IDE新势力

前言Gemini 3 Pro到来的同时，谷歌也终于入局了AI IDE市场，带来了自己新产品Antigravity。现在市场上有Cursor、Windsurf等IDE,但是它与其他竞品又有显著区别，它是以Agent优先的开发平台，从“辅助者”转变为“主导者”。目前用户可以免费使用Gemini 3 Pro & Flash, Claude

开发工具 2026年05月05日 133 点赞 0 评论 12640 浏览

Docker 零基础入门：一篇搞懂 Docker 是什么、为什么要用它

适合人群：纯新手、没接触过容器、只想先搞懂 Docker 核心概念的同学文章定位：不讲底层原理、不写复杂命令，只说清楚「Docker 是干啥的」「为什么项目离不开它」一、前言：先说说你一定会遇到的痛点做开发 / 运维的朋友，大概率都听过这句话：「在我电脑上跑的好好的，怎么到服务器上就报错了&#xff1

开发工具 2026年06月15日 100 点赞 0 评论 12748 浏览

手把手教你 Openclaw 在 Mac 上本地化部署，保姆级教程！接入飞书打造私人 AI 助手

AppOS：始于 Mac，却远不止于 Mac。跟随 AppOS一起探索更广阔的 AI 数字生活。OpenClaw 是 Moltbot/Clawdbot 的最新正式名称。经过版本迭代与改名后，2026年统一以「OpenClaw」作为官方名称，核心定位是通过自然语言指令，替代人工完成流程化、重复性工作，无需用户掌握编程

开发工具 2026年03月01日 177 点赞 0 评论 12754 浏览

Jenkins Git 克隆失败深度解析：从 “Connection reset by peer“ 到彻底解决

个人名片 🎓作者简介：java领域优质创作者 🌐个人主页：码农阿豪 📞工作室：新空间代码工作室（提供各种软件服务) 💌个人邮箱：[2435024119@qq.com] 📱个人微信：15279484656 &#x1f310

开发工具 2026年01月20日 127 点赞 0 评论 12768 浏览

Trae IDE 搭载 Burp Suite MCP Server 完整指南 —— 让 AI 直接操控 Burp Suite

Trae IDE 搭载 Burp Suite MCP Server 完整指南 —— 让 AI 直接操控 Burp Suite 前言MCP（Model Context Protocol，模型上下文协议）是 Anthropic 推出的一种开放协议，允许 AI 客户端与外部工具进行标准化通信。PortSwigger 官方开源了 Burp Suit

开发工具 2026年06月15日 112 点赞 0 评论 12773 浏览

零障碍上手！LaTeX + VSCode高效科研写作：超详细安装配置指南

引言：为什么选择LaTeX + VSCode？1. LaTeX的核心价值：专为学术而生        LaTeX 并非普通的文字处理工具，而是一个面向科研、出版和高质量印刷的排版系统。它的核心价值在于用“代码”代替“手工排版”，彻底解决学术场景中的复杂格式需求：        数学公式的终极解决方案 LaT

开发工具 2025年06月27日 157 点赞 0 评论 12779 浏览