{"name":"io.github.rafapra3008/lu-mcp-server","slug":"rafapra3008-lu-mcp-server","title":"Lingua Universale MCP Server","description":"Verify AI agent communication with session types and formal proofs","url":"https://mcp.market/server/rafapra3008-lu-mcp-server","rating":null,"grade":"A","score":85,"certified":false,"status":"active","category":"ai","tags":["ai"],"presence":{"score":26,"stars":11,"forks":2,"downloads_week":13,"last_push_at":"2026-08-18T18:56:24.000Z","license":"Apache-2.0"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/rafapra3008/cervellaswarm.git","website":null,"version":"0.1.1","remotes":[],"packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"lu-mcp-server","version":"0.1.1","runtimeHint":"uvx","transport":{"type":"stdio"}}],"tools":[{"name":"lu_check_properties","description":"Verify the formal safety properties declared in a .lu protocol.","write_action":false,"price_micros":0,"input_schema":null},{"name":"lu_list_templates","description":"List available Lingua Universale standard library protocol templates.","write_action":false,"price_micros":0,"input_schema":null},{"name":"lu_load_protocol","description":"Parse a Lingua Universale (.lu) protocol definition.","write_action":false,"price_micros":0,"input_schema":null},{"name":"lu_verify_message","description":"Verify whether a message is valid in the context of an ongoing session.","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":85,"grade":"A","scanned_at":"2026-09-27T23:37:36.068Z","report":{"scannerVersion":"0.1.10","scannedAt":"2026-09-27T23:37:35.994Z","components":{"code":{"score":25,"max":25,"notes":["3 source files scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (local package is not executed); not counted"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":12,"max":15,"notes":["last push 40 days ago"]},"identity":{"score":6,"max":10,"notes":["registry namespace matches repository owner"]}},"findings":[],"inputs":{"packages":[{"registryType":"pypi","identifier":"lu-mcp-server","version":"0.1.1","found":true,"weeklyDownloads":13,"license":"Apache-2.0","dependencyCount":3,"publishedAt":"2026-03-15T08:15:21.427679Z","repositoryUrl":"https://github.com/rafapra3008/cervellaswarm"}],"repo":{"found":true,"owner":"rafapra3008","repo":"cervellaswarm","archived":false,"pushedAt":"2026-08-18T18:56:24Z","stars":11,"forks":2,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/241465573?v=4","ownerCreatedAt":"2025-11-01T14:52:21Z","license":"Apache-2.0"},"icon":{"url":null,"source":"none"},"presence":{"stars":11,"forks":2,"downloadsWeek":13,"license":"Apache-2.0","lastPushAt":"2026-08-18T18:56:24.000Z","score":26}}}},"grade_history":[],"reviews":[]}