Learn to lead teams that combine humans and agents. Platform access, live workshops, bootcamps, and 50+ courses — plus skills, tools, and MCP to practice what you learn.

custom AI agents

[email protected]

get started

Join · $29/mo

learn

platform · $29/mo workshops bootcamps courses certifications certification tests explainx university corporate training facilitators hackathons learn skills & mcp

discover

skills tools agents mcp servers designs llms agi ranks

content

releases vision mission about community team careers resources prompts generators hub generator SEO hub prompt templates prompt guides blog for LLMs demo

Sister Products

Infloq

Influencer marketing

BgBlur

Privacy-first blur

Olly Social

Social AI copilot

Ceptory

Video intelligence

BgRemover

Background removal

newsletter · weekly

Get AI news, tools, and insights in your inbox.

Email for skill picks newsletter

contact support privacy terms data rights submission guidelines

skills/tag/loogle

tag

loogle▌

1 indexed skills · max 10 per page

skills (1)

loogle-search

parcadei/continuous-claude-v3 · Productivity

0

Search Mathlib for lemmas by type signature pattern.