MathProofs-Claw

Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.

by clawhub community Source: clawhub

Quality: medium Safety: community Category: Other Updated: 2026-03-12

View on ClawHub JSON API

Related Skills in Other

A lightweight command-line tool that spins up a local web server to display Git ...

zlibrary-to-notebooklm

一键将 Z-Library 书籍自动下载并上传到 Google NotebookLM

支持小红书自动发布、自动评论、自动检索的 Skill。支持 OpenClaw、Codex、CC 等

TUI for reviewing git changes

Haptic feedback for the mobile web

openclaw-master-skills

🧠 Curated collection of 127+ best OpenClaw skills — weekly updated from skills....

View all Other skills