★ 273 · Updated 2026-09-09
Lean 4 theorem proving toolkit to search lemmas, verify proofs, repair code, and generate informal proofs.
Browse skills that use this input.
★ 273 · Updated 2026-09-09
Lean 4 theorem proving toolkit to search lemmas, verify proofs, repair code, and generate informal proofs.
★ 2 · Updated 2026-06-30
Generates animated video cards via Gemini image generation, Veo image-to-video animation, and ffmpeg compositing with optional background music.
★ 18 · Updated 2026-03-22
Command-line tools that delegate analysis tasks to AI models
★ 602 · Updated 2026-03-22
Command-line tools that delegate analysis tasks to AI models
★ 602 · Updated 2026-03-09
Creates new images or modifies existing ones using Google Gemini AI models
★ 6 · Updated 2026-02-18
Generate favicons from image prompts by removing magenta backgrounds and creating multiple format outputs.
★ 602 · Updated 2026-02-12
Provides configuration examples and setup instructions for AI tools including GEMINI and CODEX
★ 18 · Updated 2026-02-11
Process and analyze various file types including PDFs, images, videos, and YouTube links using Google's Gemini multimodal AI.