Orca 状态机验证 MCP
v0.1.30
io.github.jascal/orca-mcp-server
从自然语言生成经过验证的有限状态机——在代码运行前捕获拓扑缺陷。
“Code Review” 共 2,873 个结果
v0.1.30
io.github.jascal/orca-mcp-server
从自然语言生成经过验证的有限状态机——在代码运行前捕获拓扑缺陷。
v0.1.0
io.github.AhmeedGamil/semhood
基于 AST 的语义代码搜索;结果附带其调用图(calls 与 callers)。
v1.0.0
dev.hatchloop/url-shortener
面向 AI 智能体的零认证短链接服务。确定性:同一 URL 总返回同一短码。
v1.16.0
io.github.felixgeelhaar/coverctl
Go 语言代码覆盖率分析工具,内置 MCP server 以支持 AI 驱动的覆盖率工作流。
v0.2.2
io.github.Semiotronika/LINZA-MCP
本地优先的 MCP sidecar,管理 Markdown 制品、评审意图与受监督的知识增长。
v0.9.2
io.github.gradion-ai/ipybox
统一执行 Python 代码、shell 命令以及以编程方式调用 MCP 工具的环境。
v1.0.0
io.github.andrew-sondgeroth/zipexplore-mcp
美国 ZIP 编码情报:人口结构、天气、税务、犯罪、住房、投票等。
v0.1.1
io.github.infoinlet-marketplace/mcp-github
面向 AI 智能体的 GitHub——仓库、文件、代码搜索、issue、PR、提交,默认只读。
v1.0.0
io.github.Evozim/yul-gasmaster
EVM gas 优化器,将 Solidity 代码重构为高效的 Yul 汇编。
v1.0.0
io.github.Evozim/polyglot-debugger
多语言调试技能与代码执行助手。
v1.0.0
io.github.Evozim/automation-weaver
无代码工作流可视化器与自动化蓝图构建器。
v1.0.1
io.github.pachote/nira-repl
为 Claude 提供安全代码执行沙箱——运行 Python、JavaScript 与 shell 命令。
v0.2.1
io.github.unerr-ai/unerr
为 AI 智能体提供运行期记忆:代码图谱、会话记忆与护栏,避免上下文腐化。
v0.1.5
io.github.mightydatainc/ruc-mcp
将 LLM 的情境智能与过程式代码的可靠性相融合的 MCP 服务器。
v1.0.1
builders.bridgetown/bridge-town
以代码构建财务模型。云端执行、GSheets MCP、版本控制、协作。
v0.1.4
io.github.veyndrasystems/agent-release-auditor
面向 AI 生成代码与编码 Agent 的确定性发布门禁。
v0.0.6
io.github.choreoatlas/over-reach-detector
检测 AI 代码改动是否超出所声明任务范围的 MCP 服务器。
v0.1.0
io.github.rocnubie/llamaai-mcp
使用 Llama AI Chat 在代码审查、长 PDF 与截图场景下测试 Meta Llama 4 Maverick。
v2.0.0
app.humantaste/taste-mcp
面向 AI 智能体的专家评审。链上人工审核证明。
v0.3.1
io.github.vola-trebla/ast-impact-mapper-mcp
利用 TypeScript AST 找出受某次代码变更影响的测试用例的 MCP 服务器。
v1.0.0
io.github.Patheras/gyibb-mcp
来自真实用户声音、附带引用出处的商品评价结论,免费远程 MCP,无需 API 密钥。
v0.10.0
io.github.jayjodev/vivory-mcp-verification
98 个面向可验证 AI 的 MCP 工具:引文、法律、KYB、同行评审、预测与媒体溯源。
v1.0.1
net.alpha-systems/pdf
Markdown 转 PDF:支持标题、加粗、代码、列表与分隔线,A4/Letter/Legal 纸张,每小时免费 30 次,提供 MCP + REST。
v1.0.0
com.clauxel.aiwaiverdesk/aiwaiverdesk-mcp
面向 AI 豁免检查、例外审批、到期复核与审计回执的远程 MCP。