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
- 参考文档_meta.json275 B
- 脚本bin/meow-finder.js4.2 KB
- 参考文档data/tools.json11.1 KB
- 参考文档package.json560 B
- 参考文档README.md2.3 KB
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, reelsimage- Image generation, editing, designwriting- Copywriting, content, blogscode- Programming, IDEs, assistantschat- AI assistants, chatbotsaudio- Voice, music, podcastssocial- Social media managementproductivity- Workflow, automationresearch- Search, analysismarketing- 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
tools-spin-sync
Synchronize Spin/Promela models with current source code and re-verify
tools-spin-model
Create a new Spin/Promela formal verification model for a system property
tools-creusot-install
Install the Creusot Rust verification tool
tools-creusot-init
Prepare an existing Cargo project to use Creusot formal verification
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
tools-creusot-annotate-interfaces
Formally verify a component's properties with Creusot and annotate its interface definitions