N/A

Benjinsassi/LeanKG

mcp agent Offline

Index codebases into a local knowledge graph to provide accurate context for AI coding tools through a direct MCP server connection.

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know