AI Agent Skills

Performant and Confidentiality-Preserving Smart Contracts + Blockchains

Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

LI.FI Smart Contracts

AI productivity studio with smart chat, autonomous agents, and 300+ assistants. Unified access to frontier LLMs

A framework for smart contract verification in Coq

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedd…

A Smart, Automatic, Fast and Lightweight Web Scraper for Python

Smart LLM routing for OpenClaw. Cut Costs up to 70%

🐬DeepChat - A smart assistant that connects powerful AI to your personal world

Plano is an AI-native proxy and data plane for agentic apps — with built-in orchestration, safety, observability, and smart LLM routing so you stay focused on your agent…

Real-time monitoring for Proxmox, Docker, and Kubernetes with AI-powered insights, smart alerts, and a beautiful unified dashboard

Stop juggling AI accounts. Quotio is a beautiful native macOS menu bar app that unifies your Claude, Gemini, OpenAI, Qwen, and Antigravity subscriptions – with real-time…

Open YouTube / Video browser-extension [top~1] Enrich your experience&choice!🧰Smart features📌set&forget📌250+tweaks - Longest-standing. Join🧩us?👨‍👩‍👧‍👧 ⋮ {playbac…

😎🏖️🐬 Your new, 𝙧𝙞𝙙𝙤𝙣𝙠𝙪𝙡𝙞𝙘𝙞𝙤𝙪𝙨𝙡𝙮 smart clipboard manager

AGiXT is a dynamic AI Agent Automation Platform that seamlessly orchestrates instruction management and complex task execution across diverse AI providers. Combining ada…