aristotle
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a
Arthur742RamosOpen Source
すべての Skills
35124 Skills
aristotle
Prove Lean 4 theorems using the Aristotle proof synthesis service. Use when the user mentions "arist
hxrtsOpen Source
aristotle-lean
IMO Gold Medal level Lean4 theorem proving via Harmonic API
plurigridOpen Source
ark-analysis
Analyze the Ark codebase by cloning the repository to a temporary location. Use this skill when the
dwmkerrOpen Source
ark-dashboard-test
Test the Ark Dashboard UI with Playwright
dwmkerrOpen Source
ark-devspace
Run Ark from cloned source using devspace
dwmkerrOpen Source
ark-install
Install Ark on a Kuberenetes Cluster
dwmkerrOpen Source
ark-ui
Builds accessible UI components with Ark UI headless primitives for React, Vue, Solid, and Svelte. U
mgd34msuOpen Source
ark-ui
Headless component library for React. Use when building UI components with @ark-ui/react, implementing accessible form inputs, overlays, navigation patterns, or needing guidance on Ark UI's data attributes, composition (asChild), and state management patterns.
hashintelOpen Source
arktype
Expert knowledge for runtime validation in TypeScript using ArkType, a syntax-first validation libra
yankeeinlondonOpen Source
arlo
Manage Arlo security cameras, video doorbell, and smart home security
Andrejones92Open Source
arm-template-functions
Expert knowledge for using Azure Resource Manager (ARM) template functions, especially reference(),
edgedeltaOpen Source