AI directory search

Search across educators, skills, and resources.

Use this when you know the topic you need: Claude Code, MCP, evals, RAG, agents, product, coding, prompting, foundations, or model internals.

1 matches for "Lean 4"

GPT-5.6 Claude Code Gemini 3.7 Flash Grok 4.6 MCP context engineering evals RAG OpenRouter coding agents

Resources

Multi-agent research news analysis · Google Research · Advanced

Assess Google’s November 13 claims about multi-agent research and choose a verifiable task for a Teamwork pilot.

Google Antigravity, Gemini 4, multi-agent systems, formal verification, Lean 4