rateme12Lingua Universale MCP Server
latest · 0.1.1Verify AI agent communication with session types and formal proofs
- PyPI
- lu-mcp-server
- MCP registry
- io.github.rafapra3008/lu-mcp-server
Install
claude mcp add io-github-rafapra3008-lu-mcp-server -- uvx lu-mcp-server/mcp confirms it's connected.
Or add it manually in ~/.cursor/mcp.json:
{
"mcpServers": {
"io-github-rafapra3008-lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}In claude_desktop_config.json (Settings → Developer → Edit Config), then restart:
{
"mcpServers": {
"io-github-rafapra3008-lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}Config entry, any MCP client:
{
"command": "uvx",
"args": [
"lu-mcp-server"
]
}Community score
Community45/ 100
from web signals · no reviews yet (community v3)
- Web signals (ecosystem baseline)45/100 · 100% of the weight
Used it? Rate v0.1.1
No reviews yet — be the first.
What the web says
Ecosystem baseline45/ 100
Objective public usage & activity (formula v3) — the community score's web-signals input, and its own sort.
GitHubsource ↗
- GitHub stars · 8 days ago
- ★ 12
- Last commit · 8 days ago
- 52 days ago
- Issue close rate · 8 days ago
- 100%
- Release cadence · 8 days ago
- multiple releases a day
- Latest release · 8 days ago
- lingua-universale-v0.5.0
- License · 8 days ago
- Apache-2.0
Packages
No package-registry data collected yet.
Listed on
- Glama · 6 days ago
- Listed · Glama quality score 4.4 ↗
Mentions
No public discussion scraped yet.
Docs & liveness
No liveness or verification signals yet.
Version history1
- 0.1.1release date unknown
Badge for your README
Shows this page's community score and its sample, kept current, and links readers here to review.
[](https://rateme12.com/servers/8022b0f1-0ad1-4707-9f8e-757f69f767fc)Details
- Transport
- stdio
- Status
- listed
- Source
- Imported from the MCP registry
- Repository
- source ↗