工具 MCP 服务HOT 分类热门最新选型清单对比指南

工具 MCP 服务HOT 分类热门最新选型清单对比指南

开发者工具/

l4-ide

l4-ide

活跃·★ 37·NOASSERTION·更新于 2026-07-15

L4 是一个面向法律的领域特定编程语言，将法律规则视为可执行规范。它提供完整的工具链，包括编译器、IDE扩展、REPL和决策服务。L4 支持形式化验证、自动化测试以及从法律规范生成网络应用。

#contracts#l4#法律#legislation#MCP 协议#MCP 服务器#MCP 工具

$ 安装

$ git clone https://github.com/smucclaw/l4-ide.git

↗ 访问官网 ★ GitHub

01

功能特性

01以数学精度形式化法律规则

02自动化测试合同场景

03自动发现逻辑矛盾和漏洞

04从法律规范生成面向用户的网络应用

05通过REST API与企业系统集成

02

兼容性

VS Code

VS Code 扩展

已通过文档验证

Web

网页编辑器

已通过文档验证

CLI

命令行工具

已通过文档验证

REPL

交互式 REPL

已通过文档验证

LSP

语言服务器

已通过文档验证

03

快速开始

1

$ git clone https://github.com/smucclaw/l4-ide.git

04

使用场景

↳政府法规合规

↳保险政策分析

↳商业协议分析

05

同类工具

⚡热门对决:

VSfathom-mcp-server★16→VSCharles-mcp★329→VSOverleafMCP★329→VSGeargrafx★248→

fathom-mcp-server★ 16

一个MCP服务器，将Claude连接到Fathom会议、转录和AI摘要。

Charles-mcp★ 329

将 Charles Proxy 接入 MCP 客户端，让 AI agent 稳定读取实时流量、分析历史录包并按需展开细节。

OverleafMCP★ 329

一个通过Git集成访问Overleaf项目的MCP服务器。

Geargrafx★ 248

Geargrafx 是一个高度精确的跨平台 TurboGrafx-16 / PC Engine / SuperGrafx / PCE CD-ROM² 模拟器，用 C++ 编写，支持 Windows、macOS、Linux、BSD 和 RetroArch，并内置 MCP 服务器用于调试和工具化。

Embody 让 TouchDesigner 项目能够与 AI 助手进行自然语言对话，并支持 Git 差异比较。

yfinance-mcp★ 204

一个使用yfinance的简单MCP服务器，提供获取股票数据、新闻和其他金融信息的工具集。

eclipse-chatgpt-plugin★ 175

AssistAI 是一个 Eclipse IDE 插件，将整个开发环境作为 MCP 服务器提供给 AI 代理，支持代码读写、构建、测试、调试等操作。

PowerShell.MCP★ 107

一个通用的MCP服务器，使AI助手能够访问整个PowerShell生态系统，包括10,000多个模块和所有CLI工具。

查看全部替代品 →

评论

登录后发表评论

暂无评论，来发表第一条吧

本页内容

01功能特性 02兼容性 03快速开始 04使用场景 05同类工具

L4 是一个专为法律领域设计的领域特定编程语言，将法律规则转化为可执行的规范。

最后更新3个月前

状态活跃

分类开发者工具

链接

文档↗讨论↗问题↗版本↗

推荐云部署

Ad

在 DigitalOcean 上一键部署

为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。

立即领取 $200 免费额度

© 2026 AgentIndex.app|由十年 iOS 开发者构建。

按场景挑选关于我们联系我们广告合作隐私政策使用条款 QYS GitHub 请作者喝咖啡 ☕

按分类浏览

MCP 服务器代码助手工作流自动化 RAG / 知识库多智能体浏览器自动化大模型基础设施开发者工具可观测性

与 Anthropic, OpenAI 或 Microsoft 无关。