即刻App年轻人的同好社区
下载
App内打开
Squat_at_Home_Univ
68关注15被关注0夸夸
Squat_at_Home_Univ
7月前

GitHub充电宝: 今天我要给大家分享一个真正能让你“轻松上手，快速开发”的宝藏开源框架：FastMCP。 它的存在，就像是给开发者开了一道绿灯：既能帮你省下大量处理底层细节的时间，又能让你专注在功能创新和业务逻辑上！ #FastMCP，这款最近开源的超级轻量 Python 框架，直接把 MCP 开发体验提升了一个维度！ 只需简单几行代码，就能快速定义工具、资源、提示，搭建完整的 MCP Server & Client。 主要特性 • 简洁优雅的装饰器语法：使用简单 Python 装饰器定义 MCP 工具/资源/提示 • 工具链支持：快速组合多个工具，支持单工具、多工具、组合式智能体 • API 集成：内置 OpenAPI/FastAPI 支持，一键将现有 API 转为 MCP 服务 • 图像处理原生支持：内置了图像处理模块，轻松搞定图像上传、压缩、转码等操作 • LLM 客户端功能：支持连接任意 MCP 服务器，自动检测传输协议 GitHub：https://github.com/jlowin/fastmcp

00
Squat_at_Home_Univ
9月前
Squat_at_Home_Univ
10月前
Squat_at_Home_Univ
11月前
Squat_at_Home_Univ
11月前
Squat_at_Home_Univ
1年前
Squat_at_Home_Univ
2年前

康哥聊AI: 总结下目前的代码编程辅助AI工具 GitHub Copilot：由GitHub与OpenAI合作开发，基于OpenAI Codex模型，提供上下文感知的代码补全建议，帮助开发者快速编写代码，提供学生优惠 Amazon CodeWhisperer：亚马逊推出的实时代码建议工具，能够根据用户的输入提供即时的代码建议 Tabnine：AI驱动的全能型编程助手，提供代码补全等功能 CodeGeeX：清华大学+智谱AI合作开发，被认为是GitHub Copilot的免费替代品，支持多种IDE和编程语言，免费 iFlyCode：科大讯飞推出的智能编程助手，基于讯飞星火认知大模型，提供代码生成、代码补齐等功能，免费 MicroByte：AI助手插件，提供代码提示、错误检查、自动补全等功能，通过深度学习算法不断优化 Figstack：面向网络开发的人工智能工具，能够读写多种语言的代码，并具有用自然语言解释代码的能力 Replit Ghostwrite、ChatGPT、TabNine、OpenAI Codex等也是市面上流行的AI辅助编程工具，它们提供了代码生成、代码测试、低/无代码工具等功能

00
Squat_at_Home_Univ
2年前

文浩Marvin: Taipy是一款Python语言基础的UI框架，旨在帮助数据科学家和机器学习工程师快速构建全栈应用程序，而不需要学习新的语言或全栈框架。它具有以下功能特性： - 用户界面生成：Taipy允许用户创建全栈应用程序，而不需要学习HTML、CSS或JavaScript。 - 场景和数据管理：Taipy提供了管理不同业务场景和数据的功能，这对于应用程序如需求预测或生产计划很有用。 - 版本管理和管道执行：它包含了管理应用程序版本、管道版本和数据版本的工具，这对于多用户环境很有用。 - 云部署：Taipy Cloud允许用户在几个点击后免费部署他们的Taipy应用程序。 Taipy还包括预构建的数据管道组件，允许用户与数据管道进行交互，包括可视化和管理工具。它还提供了用于多用户环境的数据版本管理和管道执行工具[1]。 https://github.com/Avaiga/taipy

00
Squat_at_Home_Univ
2年前
大家有没有好用的日程、日历APP推荐？

现在用的timeblocks，功能很好，就是日程多了，每次打开等半天才能显示出列表，时不时还崩溃，实在忍不了了
10
Squat_at_Home_Univ
2年前

DaweiMa: 分享一些我常用的提升开发效率的工具： #AI工具 GitHub Copilot：能极大的提高效率，不仅能在编辑器中根据代码上下文自动编写代码，还能以ChatGPT对话的方式回答问题。有了它，极大的降低了对StackOverflow的依赖。 ChatGPT：虽然GitHub Copilot以及能在写代码方面平替ChatGPT，但ChatGPT的GPT4 V的识图功能、DALL E3的绘图功能、移动端的语音对话功能都是GitHub Copilot无法替代的。用ChatGPT绘图或练英语还是很方便的。 https://v0.dev/：Vercel出品的AI画UI的神器，试了下，的确能大幅度降低画UI的工作量，相比ChatGPT直接生成代码，V0能以可视化的方式修改界面，这是ChatGPT无法做到的。 #开发工具 VSCode：因为免费轻量级，哪怕是安装了很多插件，速度也比IDEA快。当然如果开发Java的话，IDEA还是更胜一筹。 DBeaver：数据库连接工具，主打免费可连接多种数据库。 pgAdmin4：管理PG数据库的工具，比DBeaver在PG的管理上更强一点。 云平台 GitHub：虽然你对GitHub估计很熟悉了，但也推荐看这篇文章：善用GitHub（https://www.bmpi.dev/self/use-github-better/）。 Cloudflare：Serverless最好的平台，能提供如常用的存储R2、KV数据库、CDN、Pages、Worker、MQ、甚至运行AI模型，我开发的个人产品（https://www.i365.tech/）大多都用它运行的。 Vercel：很适合部署运行Next.js的前端项目，Cloudflare Pages运行Next.js还需要额外的一些配置。 Fly.io：非常好的容器化平台，它能弥补Cloudflare只能运行Serverless的不足，能以Docker的方式运行各种重型API服务。 AWS/Azure/GCP：作为一个巨无霸的云平台，他们可以补充上面云平台所缺失的东西，比如AWS SES就是一个非常好的发邮件服务。 Newrelic：非常好的监控平台，尤其是它能作为免费的日志搜索平台，我把我产品的系统日志都上传到这个平台，然后对日志进行监控。一般的日志平台都是ES架构，价格并不便宜，单Newrelic却能免费。 Optimizely：一个不错的feature toggle平台，可以很方便的做产品的A/B测试。 #分析工具 Umami：GA的开源平替，我网站流量都是用它监控的，速度快，数据还是自己的。 Plausible：更高级的GA开源平替，比Umami提供更多功能，但托管所需服务比较多，前者能免费跑在Vercel平台上。 Mixpanel：更更高级的GA商业平替，能做很复杂的用户行为分析与溯源，比GA高级多了。 支付平台 Lemonsqueezy：出海必备的支付平台，用国内身份就可以开通，然后开启出海之旅，赚美刀。 Stripe：相比前者，虽然费率便宜一些，但国内身份没发开通，需要做一些比较复杂的操作才能开通，比如开通一个美国或香港公司就可以开。 #绘图工具 Excalidraw：非常好用的白板画图工具，适合个人使用。 PlantUML：一个支持文本绘制类UML图的工具，可以在Real World Plantuml找到很多用它实现的图。 Mermaid：通过文本生成各种UML图，最大的亮点是GitHub官方Markdown支持它，能渲染出多种图形如时序图与架构图等。 asciiflow：能简单的免费在线绘制ASCII风格图的网站，C语言大佬最爱的RFC风格绘图工具。 Sketch/OmniGraffle/Lucidchart/Draw.io/Google Drawings/Visio：这类工具相比大家或多或少用过，都是一些桌面端或浏览器常用的画图工具。 #综合工具 Logseq：OKR + GTD + Note => Logseq（https://www.bmpi.dev/self/okr-gtd-note-logseq/），看完这篇文章，你会知道我为何而推荐这个工具，能做笔记、能规划任务或做OKR啥的。 Beancount：完美记账工具，配合Git能做到数据安全可控，可以看这篇我写的文章：使用Beancount管理家庭财务（https://www.bmpi.dev/self/beancount-my-accounting-tool-v2/），谁再给你推荐记账工具，请把这篇文章扔给他们看。 #浏览器插件 AdblockPlus：这款插件可以自动屏蔽网站里的绝大多数广告，无需额外复杂的配置，安装好即可。 沉浸式翻译：搭配OpenAI的API Key可以做到非常完美的多语言网页翻译，读外文资料无障碍。 Internet Archive：网页时光机，很多网页因为时间很久的缘故可能无法访问（404），这个插件可以帮助我们找回这个页面，甚至可以像时光机一样查看网页不同时期的版本。 Screely：截屏工具，主要是能美化截屏界面，让其不再难看，比如加点背景。 wappalyzer：查看网站技术栈，比如使用它一些主流网站的技术栈。 SimilarWeb：查看网站PV流量的工具，但是结果有时候准确，有时候偏差挺大的。 SEOquake：查看网站的SEO相关的信息，如外链数量、索引数量、SEO的站内问题等。 Keyword Surfer：关键词工具，可以查看一些关键词的月搜索量。 META SEO inspector：网页Meta信息查看工具，可以方便地解决一些网页SEO的基本问题。

00