N/A

@leanspec/mcp

unknown agent Offline

Model Context Protocol server for LeanSpec — adapter-aware spec management for AI agents

Scan Scheduled

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

What We Know