MCP Servers Plugins Subagents Skills Commands Hooks Marketplaces Contribute

Back to Plugins

lean-explore

75

Search Lean 4 declarations through the hosted LeanExplore MCP server.

Details

Authorjustincasher

Version

v0.1.0

Category

community

Links

README

Universal AI CLI extension manager. Install once, sync across every AI CLI on your machine.

Explore

MCP Servers
Plugins
Skills
Subagents
Commands
Hooks
Marketplaces

Legal

Privacy Policy
Terms of Service

Resources

GitHub
npm Package
Contribute
MIT License

Created by Himanshu

© 2026 cgcone. All rights reserved.Extensions are property of their respective owners.

All systems operational·v0.1.0