Command
Check if LeanKG MCP server is connected and initialized.
215 9d ago A 0 tokens
original Apache-2.0
215Stars on the repository
14Mods indexed here, across every type
9d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown