srclight
AI编程工具Srclight 是一个面向 AI 编程代理的深度代码索引 MCP 服务器。它使用 SQLite FTS5、tree-sitter 和嵌入向量为代码库建立可搜索索引,提供符号搜索、调用图、Git 变更情报、混合语义搜索等能力,支持多仓库工作区、GPU 加速语义搜索和 19 种语言解析,完全本地运行,无需云端依赖。
35,738 个结果 · 第 395 / 993 页
Srclight 是一个面向 AI 编程代理的深度代码索引 MCP 服务器。它使用 SQLite FTS5、tree-sitter 和嵌入向量为代码库建立可搜索索引,提供符号搜索、调用图、Git 变更情报、混合语义搜索等能力,支持多仓库工作区、GPU 加速语义搜索和 19 种语言解析,完全本地运行,无需云端依赖。
srdcheck 是一个面向运行游戏智能体的确定性规则裁决工具,针对 D&D 5e 的 SRD 5.2.1(并提供 5.1 适配器)提供带引用、可复现的规则判定。它不负责掷骰或叙事,只做受范围约束的规则检查:例如回合行动经济是否合法、还有哪些预算选项可用等,每条应用到的规则都会附带 SRD 出处。结果以退出码表示:0 表示通过已检查范围,1 表示与已检查范围冲突,2 表示无法裁决。工具可离线本地运行、判定路径中不调用 LLM,既可作为 MCP 服务供智能体调用,也可作为 CLI 与 Python 库使用,并支持通过 table-policy manifest 记录 DM 桌面裁定。其明确边界是只覆盖已建模的规则,SRD 之外内容返回“无法裁决”,缺失事实会要求补充而非默认处理。
SRE.ai 是一个 AI 原生系统集成商,面向快速发展的企业组织,提供自动化和企业系统交付能力。它通过 AI 队友帮助团队实现交付自动化、加速创新,专为混合团队设计,能够跨地域和时区保持工作流程顺畅,并在交接时维持上下文。SRE.ai 还能处理、组织和路由传入的工程流程、标记的缺陷、部署请求等 DevOps 元素,将信息混乱转化为有序智能。此外,它作为智能安全网,自动识别合规问题、政策违规和审批缺口,提供企业级可靠性。
SRead 是一款 AI 阅读助手,官方简介称其提供智能功能以帮助增强理解。目前公开资料仅说明其为“AI-powered reading assistant with intelligent features for enhanced understanding”,未提供具体功能列表、使用方式、适用场景、平台支持、收费情况等细节。因此,暂无法确认其支持的文件格式、是否具备摘要、翻译、问答或标注等能力,也未提供价格与版本信息。实际功能与使用条件需以官方页面后续说明为准。
SrefHunter 是一个收录 Midjourney --sref 样式参考代码的在线资源库,提供 5676 个 sref 代码供用户复制使用,以改善 Midjourney 生成图像的审美风格。网站还提供 Midjourney 速查表、创意提示词灵感、社区热门内容、贡献者排行榜以及月度更新。页面中部分 sref 代码可复制,另有部分代码需升级才能查看。网站还提及 Melies 作为 AI 创意工作室,可用于根据视觉风格生成图像、镜头和视频。
Srefs.co 是一个面向 Midjourney 用户的风格参考(Style Reference,即 sref)资源站,帮助用户发现、浏览和整理 Midjourney 风格。用户可通过它探索大量 Midjourney 风格,官方信息称其风格库内容每日更新。该工具的核心用途是为使用 Midjourney 生成图像时寻找合适的风格参考,简化风格筛选与收藏整理的过程。适用于需要频繁尝试不同视觉风格、希望快速找到特定风格提示的 Midjourney 创作者、设计师和 AI 绘画爱好者。除上述功能说明外,具体使用步骤、收费方式、是否提供搜索或分类过滤器、是否需要登录等信息暂未提供。
srunx 是一个面向 SLURM 工作负载管理器的现代 Python 库,提供统一的 CLI、Web 仪表盘和 Python API,用于提交和管理 SLURM 作业。它支持通过 YAML 和依赖图编排多步骤工作流、监控 GPU 可用性与作业状态并发送 Slack 通知,还能通过 SSH 配置文件在本地或远程集群上透明执行相同命令,并内置 Pyxis、Apptainer、Singularity 容器支持。需要 Python 3.12+ 及可访问的 SLURM 集群。
ssh-mcp 是一个基于模型上下文协议(MCP)的服务器,为 Linux 和 Windows 服务器提供受控的 SSH 访问。它通过命令分类、基于策略的授权、人工审批和完整审计日志等安全机制,让 LLM 代理能够安全地执行远程 shell 命令、管理交互式会话、传输文件,并支持密码或 SSH 密钥认证。
ssh-mcp 是一个本地运行的 MCP 服务器,用于通过 SSH 管理和操作远程 Linux 与 Windows 主机。它支持将主机分组,并同时在多台主机上执行命令,适合需要批量运维或跨主机操作的场景。
Ssi(finsoftai.com)是一个基于人工智能的平台,资料显示其用途涉及股票研究、交易与风险管理,并通过社交情绪分析提供支持。目前可获取的信息仅有分类、名称、网址与这一简短定位,官方介绍正文为空,因此平台的具体功能模块、使用方式、支持的券商与市场、收费模式、数据来源以及实际效果等细节均暂未提供,无法进一步展开说明。
ssid-mcp 是面向 AI 智能体的 MCP 服务器,提供路由器出厂登录信息查询、通用默认密码合规检查、MAC 地址(OUI)厂商查询与随机化地址识别,以及纠错提交。读取类工具免费、无需 API 密钥。
sslmon-mcp 是一个基于 Model Context Protocol(MCP)的服务器,用于查询域名注册信息与 SSL 证书有效期,可帮助进行安全监控、域名管理和证书生命周期跟踪。支持远程 HTTP 和本地 NPX 两种接入方式。
历史第三方摘要:两份开发与接口资料索引,把sssaicode.com关联到为开发工具接入模型服务的中转API用途,其中一份记录了兼容接口的配置例子。本页只整理这一开发集成定位;作者的使用体验、厂商渠道、具体模型来源、价格、国内支付和接口兼容性均未独立验证,不作为质量或授权保证。未配置客户端、输入密钥、充值或调用服务。 2026-10-18核对所保存资料;索引参考源页全文未复核(另有完整资料时单列)。
Stability AI 视频生成器(Stability ai video generater)是一款将照片转换为动态视频的 AI 图像/视频工具,适用于创意项目。公开资料未提供具体功能、收费、平台与使用步骤。
Stability.ai 提供的 REST API 文档,用于访问其图像生成能力。使用前需要 DreamStudio 账号完成身份验证。
Stable Audio Open 是一个开源模型,用于根据文本生成短音频样本和音效。目前资料仅提供了这一基本定位,暂未提供其具体能力、使用方式、适用场景与限制等细节。
Stable Diffusion XL(SDXL)是 Stability AI 于 2023 年 7 月发布的 Stable Diffusion 图像生成系统的新版本。资料显示,它采用拥有 60 亿参数的双模型系统,支持 1024x1024 分辨率,可生成高度逼真的图像和清晰文本,并简化了提示词输入、内置多种预设风格。Stable Diffusion 本身是一款基于扩散模型的开源文本生成图像工具,由慕尼黑大学 CompVis 团队和 Runway ML 开发、Stability AI 提供计算支持,可执行图像修复、扩展和文本引导的图像到图像翻译,并已开源代码、预训练模型和许可证,允许用户在单个 GPU 上本地运行。用户可通过文本提示生成图像,并借助 Lora、嵌入和负面提示进行个性化定制;既可以经由网络平台在线使用,也可以在本地安装运行,本地运行时可完全脱机。资料还介绍了下载、安装、训练以及 ControlNet、人脸替换等功能,同时指出其存在训练数据偏向西方文化、生成人体四肢和面部表现不佳等局限。
该网站用于读取 Stable Diffusion 与 ComfyUI 生成图片中的参数信息,通过解析 PNG 图片内嵌的 pnginfo 元数据来提取图像生成参数。用户上传图片后,即可查看其中记录的生成相关信息。适合需要还原、复用或核对 AI 绘画参数的使用者,属于 AI 图像工具中的辅助解析类工具。除“提取图像元数据”这一核心用途外,资料未提供更多功能、收费、平台或使用步骤细节。
Stable Video 3D 是一个将单张图像转换为具有三维视觉效果的视频的工具,其官网标题显示为“将单张图像转化为惊艳的 3D 现实”。除该标题外,现有资料未提供可核实的工具介绍、功能、使用方式、平台或收费信息。
stable-diffusion-videos 是一个基于 Stable Diffusion 的开源项目,通过探索潜在空间并在文本提示之间进行变形来生成视频。用户可以在 Colab 中直接尝试,或使用提供的示例脚本。项目支持添加音乐,音频会影响插值速率,使视频随节拍移动。注意:在 Apple M1 架构上需使用 torch.float32,因为 MPS 不支持 torch.float16。该项目基于 @karpathy 分享的脚本修改而来。
stable-diffusion-webui-colab 是一个在 Google Colab 上运行 Stable Diffusion WebUI 的集合项目,由 camenduru 维护。该仓库为不同的模型检查点(checkpoint)提供了对应的 Colab 笔记本,方便用户无需本地显卡即可在云端启动 WebUI 进行 AI 图像生成。项目基于 AUTOMATIC1111 的 stable-diffusion-webui,并预装了多种扩展、脚本、LoRA 和嵌入(embeds)。仓库提供了 lite、stable、nightly 等不同版本:lite 版拥有稳定的 WebUI 和已安装扩展;stable 版增加了 ControlNet v1.1;nightly 版使用最新 WebUI 与 PyTorch 2.0,并每日更新扩展。此外还有 community 分支的社区 Colab、training 分支的 DreamBooth 与 LoRA 训练器、drive 分支的 Google Drive 安装方式。该项目已不再更新,作者建议尝试其后续项目 TostUI。
stable-worldmodel 是一个用于可复现世界模型研究与评估的平台,由 galilai-group 开发。它提供统一接口,覆盖世界模型研究的三个阶段:数据收集、训练以及基于模型预测控制(MPC)的评估,并支持大量标准化环境。平台内置常见基线模型和规划求解器的参考实现,使研究代码可以专注于模型和目标本身。数据方面,默认数据集格式基于 Lance 技术栈(lancedb、pylance、pyarrow),作为可选依赖单独提供;同时支持 LeRobot 数据集(需 Python 3.12+,通过 pip install 'stable-worldmodel[lerobot]' 安装)。数据集和检查点默认存储在 $STABLEWM_HOME(默认为 ~/.stable_worldmodel/),可自定义。环境来自 DeepMind Control Suite、Gymnasium classic control、OGBench、Craftax、Arcade Learning Environment(100+ Atari 游戏)以及经典世界模型基准(Two-Room、PushT)。大多数环境附带独立可控的视觉和物理变化因子,便于评估零样本泛化。安装后提供 swm 命令行工具,用于检查/转换数据集、环境和检查点。该库处于活跃开发中,API 可能在小版本间变化。
Stableboost 是一款基于上传照片生成与编辑图像的 AI 图像工具。根据现有资料,它提供一整套图像生成与编辑功能,支持多种风格;用户可上传自己的照片作为素材,用于生成或编辑图像。其具体模型来源、风格数量、输出规格、收费方式、价格与使用步骤等信息暂未提供。
Stable Cascade 是 Stability AI 发布的官方代码库,基于 Würstchen 架构,提供训练与推理脚本以及多种可用模型。其核心特点是工作于高度压缩的潜在空间:压缩因子达 42,可将 1024×1024 图像编码为 24×24,同时保持清晰重建,从而带来更快的推理速度和更低的训练成本,适合重视效率的图像生成场景。模型由 Stage A、Stage B、Stage C 三部分组成,Stage A 为 VAE,Stage B 与 C 为扩散模型。官方称其支持微调、LoRA、ControlNet、IP-Adapter、LCM 等扩展,并在提示词对齐与美学质量评估中表现良好。代码采用 MIT 许可证,模型权重遵循 STABILITY AI NON-COMMERCIAL RESEARCH COMMUNITY LICENSE。
Stable Diffusion API 是 ModelsLab 旗下的云端图像生成 API 服务,提供单一 REST 端点,可调用 Stable Diffusion 1.5、SDXL、Flux、ControlNet、LoRA 以及 10,000 多个社区模型。用户无需自备 GPU 或进行环境配置,只需发送带 API 密钥和提示词的 POST 请求,即可在约 30 秒内生成第一张图像。官方称 API 套餐每月 21 美元起,149 美元套餐可无限使用开源模型。该服务适合希望快速集成 AI 图像生成能力的开发者与产品团队。
Stack AI 是一个面向企业的无代码 AI 智能体构建与部署平台,用户可通过拖拽式界面快速搭建安全、合规的 AI 应用。平台支持 500+ 企业集成,让 AI 智能体能够读取、写入并在现有系统中执行任务,适用于受监管和复杂运营场景。
Stack Studio AI 是一款面向软件架构规划的 AI 工具,官方定位为“AI-powered software architect”,主要用于功能规划、设计方案生成与文档编写。根据现有资料,它可辅助团队在开发前期梳理功能需求、产出架构设计思路,并生成相应文档,从而减少手工整理与重复沟通。目前关于其具体功能模块、支持的平台与语言、使用方式、收费模式、价格及适用限制等信息暂未提供,需以官方页面后续说明为准。
Stack-chan 是一个基于 M5Stack 的开源、JavaScript 驱动的超可爱机器人项目。其仓库提供以 M5StackChan CoreS3 为标准配置的固件、称为 MOD 的用户应用程序、浏览器开发工具、外壳模型和电路图。该项目包含一个基于 MCP 的服务器,用于 AI 控制的交互和情感表达。用户可通过浏览器固件安装器刷写固件,无需安装 Moddable SDK 或 ESP-IDF。支持 M5Stack、M5Stack Core2、M5Stack CoreS3 和 M5StackChan CoreS3 硬件,其中 M5StackChan CoreS3 为物理设备发布验证的目标。MOD Gallery 中提供已发布的 MOD 和小程序,可在模拟器运行或安装至设备。资源以 Apache License 2.0 分发。
Stackaccel 是一款面向 Telegram 的 CRM 工具,利用 AI 对会话进行摘要,并对销售聊天进行优先级排序,帮助使用者更高效地管理 Telegram 上的销售沟通。
Stackai 是一个用于发现和使用最新 AI 工具的平台,提供 AI 工具聚合与导航服务,帮助用户查找并利用各类最新 AI 工具。关于其具体功能、使用方式、定价模式及适用场景,现有资料暂未提供更详细的信息。
历史第三方摘要:Stackbear 用于构建、运行和分享 AI 聊天机器人,可围绕用户提供的内容定制。
StackGen 是一个面向 DevOps 与平台工程的自主运维(Autonomous Operations)平台,核心是其 Aiden 智能体。它能在用户已有的工具链中执行基础设施供给、部署、故障修复和可观测性管理。Aiden 可基于已批准的模块生成受治理的 Terraform,匹配并执行 Runbook,管理基于 OpenTelemetry 的 Grafana 与 Prometheus 可观测性,并调查告警、在审批后自动修复。平台支持从 ServiceNow、Jira、Linear 等来源汇聚运维请求,按自主级别进行分诊、匹配工作流并展示决策轨迹。StackGen 强调与现有开发者及平台工具链(如 Kubernetes、可观测性、DevOps 工具)集成,并可通过 MCP 在 Cursor、Claude Code、Kiro 等环境中使用。
StackLedge 是一个人工审核的自动化、AI 与 SaaS 工具目录,收录 n8n 工作流、社区节点与托管方案等,每条收录均由真人阅读后发布,并提供结构化数据供 AI 爬虫读取。
StackPicks MCP 是一个策展式的 MCP(Model Context Protocol)服务器目录,收录了 110 个服务器,涵盖 Anthropic 官方、厂商及社区构建的连接器,适用于 Claude、Cursor、Cline 和 Windsurf 等客户端。该目录支持按分类搜索,并提供安装命令复制功能。其中 13 个为官方服务器,59 个为厂商服务器,38 个为社区服务器。此外,该平台还提供 StackPicks Connect 服务,通过粘贴一次配置即可在 Claude 中连接 GitHub、Gmail、Slack、Notion 等 814 个以上应用,采用一键 OAuth 认证,无需管理 API 密钥,后续添加的应用可立即被 Claude 识别,适用于所有 MCP 代理。该服务为一次性买断,价格 ₹99 / $2.99,无订阅。
Stackpointer 是一款 AI 驱动的商业搜索引擎,主要提供公司信息查询与技术栈分析。用户可通过该工具检索公司资料,并了解其使用的技术栈情况。目前关于其具体功能细节、使用方式、适用场景及限制等信息暂未提供。
StacksFinder MCP 是一个面向 LLM 客户端的 MCP(模型上下文协议)服务器,为 Claude、Cursor、Windsurf 等兼容 MCP 的工具提供确定性的技术栈推荐。它基于六个维度对技术进行评分,可分析、比较技术,并针对任意项目类型给出技术栈建议。免费提供 8 个工具(无需账户),包括每日演示推荐和 MCP 项目套件;部分估算、Pro 与审计工具需要 API 密钥。