How It Works Ecosystem

The open directory of AI agents, LLMs, MCP servers, workflows, and tools — search, compare, and track status across platforms.

Explore

Browse All AI Agents LLMs MCP Servers Tools & Frameworks

Account

Sign In Create Account Submit an Agent Saved Agents

Support

How It Works FAQ Report an Issue

Company

ATMEZ AI Solutions

© 2026 ATMEZ AI Solutions · All rights reserved.

Built with ❤️ for the AI community

All Agents LLMs MCP Servers Workflows Frameworks Tools Skills GenAI News

loogle-search — Agent Skill for Research | Genaihub

loogle-search

Search Mathlib for lemmas by type signature pattern

Live

Open / InstallLast updated September 3, 2026

Description

Search Mathlib for lemmas by type signature pattern

Author

parcadei

Platform

cli

Pricing model

free

Categories

Research
Coding

Tags

skill
smithery
Research
Coding

Capabilities

3,502 stars
Smithery skill

Related skills

Others in the same category, ranked by how often they are opened.

resource-curatorFind, evaluate, and maintain high-quality external resources for JavaScript concept documentation, including auditing f…Skills · Research
gh-triageFetch all GitHub issues via gh CLI and use AI agents to deeply analyze, cluster, and prioritize issues with actual unde…Skills · Research
survey-sdk-auditAudit PostHog survey SDK features and version requirementsSkills · Research
binary-analysis-patternsMaster binary analysis patterns including disassembly, decompilation, control flow analysis, and code pattern recogniti…Skills · Security
memory-forensicsMaster memory forensics techniques including memory acquisition, process analysis, and artifact extraction using Volati…Skills · Security
brightdata-web-mcpSearch the web, scrape websites, extract structured data from URLs, and automate browsers using Bright Data's Web MCP. …Skills · Data & Analytics
hugging-face-paper-publisherPublish and manage research papers on Hugging Face Hub. Supports creating paper pages, linking papers to models/dataset…Skills · Research
mem-searchSearch claude-mem's persistent cross-session memory database. Use when user asks "did we already solve this?", "how did…Skills · Research