AGENT SKILL

tools-creusot-coq-install

Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge

License 许可
Apache-2.0
最近更新
2026-11-12
Stars
★ 3
Forks
4

01 前言 Front Matter

name
meow-finder
version
1.0.0
homepage
https://github.com/abgohel/meow-finder
metadata
{ "clawdbot": { "emoji": "?", "category": "productivity" } }
description
CLI tool to discover AI tools. Search 40+ curated tools by category, pricing, and use case.

02 资源文件 5

03 SKILL.md 正文

Meow Finder

CLI tool to discover AI tools. Search 40+ curated tools by category.

When to Use

  • "Find AI tools for video editing"
  • "What free image generators are there?"
  • "Show me coding assistants"
  • "List social media tools"

Installation

npm install -g meow-finder

Or clone:

git clone https://github.com/abgohel/meow-finder.git
cd meow-finder
npm link

Usage

# Search for tools
meow-finder video editing
meow-finder "instagram design"

# Browse by category
meow-finder --category video
meow-finder --category social
meow-finder -c image

# Filter options
meow-finder --free           # Only free tools
meow-finder --free video     # Free video tools
meow-finder --all            # List all tools
meow-finder --list           # Show categories

Categories

  • video - Video editing, generation, reels
  • image - Image generation, editing, design
  • writing - Copywriting, content, blogs
  • code - Programming, IDEs, assistants
  • chat - AI assistants, chatbots
  • audio - Voice, music, podcasts
  • social - Social media management
  • productivity - Workflow, automation
  • research - Search, analysis
  • marketing - Ads, SEO, growth

Example Output

? Found 5 tool(s):

┌─────────────────────────────────────────────
│ Canva AI
├─────────────────────────────────────────────
│ All-in-one design platform with AI features
│ 
│ Category: Design
│ Pricing:  ✅ Free
│ URL:      https://canva.com
└─────────────────────────────────────────────

Data

40+ curated AI tools in data/tools.json. PRs welcome to add more!


Built by Meow ? for the Moltbook community ?

04 同仓库更多 Skills