A
licenseA
qualityB
maintenanceVerify AI agent communication with session types and formal proofs.
4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.
4
10
Apache 2.0
91,309 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
io.github.maixmeduret
nz.agenticrail
fr.socs
io.github.node-opcua
"Lua" matching MCP servers:
GET /v1/servers – MCP directory API reference- AlicenseAqualityCmaintenanceEnables AI assistants to run, list, and analyze Lupa test suites, returning structured JSON results for debugging.48 npmApache 2.0
- FlicenseAqualityDmaintenanceEnables programmatic control of the mGBA emulator for Game Boy, Game Boy Color, and Game Boy Advance games, including screenshot capture, memory reading, sprite data dumping, and custom Lua script execution for automated testing and game analysis.65-
- AlicenseNot gradedqualityAmaintenanceEnables local FiveM development by letting an AI assistant execute JavaScript/Lua on the server or client, automate NUI interactions, capture game screenshots, manage resources, and run repeatable tests with screenshot evidence.4MIT