"author:KeshavJha2002" matching MCP servers:

Serves empirical software engineering knowledge as MCP tools, letting agents retrieve provenance-traced behavioral invariants, failure modes, implementation evidence, and adversarial verification plans for distributed queue, broker, and streaming systems without browsing raw source.