Browse the index

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

hand-reviewed12 starschecked 28 days ago

Inspect and search Apple Contacts on macOS, and resolve a contact into a message-ready recipient.

hand-reviewed12 starschecked 34 days ago

Local Go MCP server: DuckDuckGo/Bing web + image search, readability scraping to Markdown.

hand-reviewed12 starschecked 29 days ago

Calibre ebook library server: search, read content, curate metadata, semantic search, gated writes.

hand-reviewed12 starschecked 33 days ago

Persistent memory for AI assistants: store, search, and connect knowledge across conversations.

hand-reviewed12 starschecked 10 days ago

AI compass from private sector to federal career — USAJobs search, salary, KSA

hand-reviewed12 starschecked 10 days ago

Context integrity for AI agents: evaluate freshness, confidence, provenance, and decision readiness.

hand-reviewed11 stars203 dl/wkchecked 24 days ago

Search and fetch 100+ Hermes Agent tools, skills, plugins, and integrations from hermesatlas.com.

hand-reviewed11 stars34 dl/wkchecked 20 days ago

Search Google's Knowledge Graph for structured information about real-world entities

hand-reviewed11 stars29 dl/wkchecked 20 days ago

Lightning-fast RAG for AI agents. 4-layer fusion, ONNX Runtime, sub-200ms search.

hand-reviewed11 starschecked 26 days ago

Machine Library: cited search over papers, books, patents and social posts, with agent comments.

hand-reviewed11 starschecked 24 days ago

Persistent AI memory with hybrid search and embedded sync. Open, free, unlimited.

hand-reviewed11 starschecked 16 days ago

Local read-only semantic search for Markdown vaults through MCP.

hand-reviewed11 starschecked 16 days ago

Search South Korea's national R&D regulations in natural language with cited provisions.

hand-reviewed11 starschecked 10 days ago

Obsidian MCP server: semantic search, knowledge graph, and vault editing. No plugin required.

hand-reviewed11 starschecked 17 days ago

Local code search for agents: symbols, usages, call graph, AST patterns, grep and semantic search

hand-reviewed11 starschecked yesterday

Rank CS/AI/ML papers by citations, forecast impact, or code adoption; trace 23.2M citation edges.

hand-reviewed10 stars1.0k dl/wkchecked 23 days ago

Local-first semantic code search across all your repos. Private context for AI coding assistants.

hand-reviewed10 stars638 dl/wkchecked 26 days ago

Public TikTok profiles, videos, comments and keyword search as JSON. No developer account.

hand-reviewed10 stars350 dl/wkchecked 7 days ago

Manage Google Tasks via MCP: list, search, create, update, move, and clear tasks.

hand-reviewed10 stars126 dl/wkchecked 30 days ago