lean-explore
v0.1.0community76 stars
Search Lean 4 declarations through the hosted LeanExplore MCP server.
Install
/plugin install lean-explore@justincasher-lean-explore
CodeRabbit
Capacitor - Shared memory for your team’s coding agents.
Give your AI the whole web as clean markdown
inference shellCodeRabbitCapacitor - Shared memory for your team’s coding agents.Give your AI the whole web as clean markdowninference shellCodeRabbitCapacitor - Shared memory for your team’s coding agents.Give your AI the whole web as clean markdowninference shellCodeRabbitCapacitor - Shared memory for your team’s coding agents.Give your AI the whole web as clean markdowninference shellCodeRabbitCapacitor - Shared memory for your team’s coding agents.Give your AI the whole web as clean markdowninference shellCodeRabbitCapacitor - Shared memory for your team’s coding agents.Give your AI the whole web as clean markdowninference shellCodeRabbitCapacitor - Shared memory for your team’s coding agents.Give your AI the whole web as clean markdowninference shellCodeRabbitCapacitor - Shared memory for your team’s coding agents.Give your AI the whole web as clean markdowninference shell
Make your agent a DeFi expert
CodeScene MCP Server
belt - the only tool your agent needs
MCP-ready Email Sending