"author:Latinum-Formal-Methods" matching MCP servers:

A Model Context Protocol tool that provides weather information for cities, with London access requiring Solana devnet payment via the Latinum Wallet MCP server.