SKILL·75C892

loogle-search

carmandale
Updated 1 month ago
9 views
2
2
View on GitHub
Developmentapi

About

Loogle Search enables developers to search Lean 4's mathlib by type signature patterns to find lemmas when they know the type shape but not the name. It supports pattern matching with placeholders and variables, and can run queries via a direct command or a faster local server. This skill is essential for type-directed proof search and discovering available lemmas for specific types.

Quick Install

Claude Code

Recommended
Primary
npx skills add carmandale/agent-config -a claude-code
Plugin CommandAlternative
/plugin add https://github.com/carmandale/agent-config
Git CloneAlternative
git clone https://github.com/carmandale/agent-config.git ~/.claude/skills/loogle-search

Copy and paste this command in Claude Code to install this skill

GitHub Repository

carmandale/agent-config
Path: skills/tools/loogle-search
0
FAQ

Frequently asked questions

What is the loogle-search skill?

loogle-search is a Claude Skill by carmandale. Skills package instructions and resources that Claude loads on demand, so Claude can perform loogle-search-related tasks without extra prompting.

How do I install loogle-search?

Use the install commands on this page: add loogle-search to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does loogle-search belong to?

loogle-search is in the Development category, tagged api.

Is loogle-search free to use?

Yes. loogle-search is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Related Skills

qmd
Development

qmd is a local search and indexing CLI tool that enables developers to index and search through local files using hybrid search combining BM25, vector embeddings, and reranking. It supports both command-line usage and MCP (Model Context Protocol) mode for integration with Claude. The tool uses Ollama for embeddings and stores indexes locally, making it ideal for searching documentation or codebases directly from the terminal.

View skill
subagent-driven-development
Development

This skill executes implementation plans by dispatching a fresh subagent for each independent task, with code review between tasks. It enables fast iteration while maintaining quality gates through this review process. Use it when working on mostly independent tasks within the same session to ensure continuous progress with built-in quality checks.

View skill
mcporter
Development

The mcporter skill enables developers to manage and call Model Context Protocol (MCP) servers directly from Claude. It provides commands to list available servers, call their tools with arguments, and handle authentication and daemon lifecycle. Use this skill for integrating and testing MCP server functionality in your development workflow.

View skill
adk-deployment-specialist
Development

This skill deploys and orchestrates Vertex AI ADK agents using A2A protocol, managing AgentCard discovery, task submission, and supporting tools like Code Execution Sandbox and Memory Bank. It enables building multi-agent systems with sequential, parallel, or loop orchestration patterns in Python, Java, or Go. Use it when asked to deploy ADK agents or orchestrate agent workflows on Google Cloud.

View skill