prove-plus-comm

13 stars 1 forks

Guidance for proving mathematical properties in Coq using induction, specifically addition commutativity and similar arithmetic lemmas. This skill should be used when working with Coq proof assistants to complete induction proofs, fill in proof cases, or apply standard library lemmas like plus_n_O and plus_n_Sm.

Also in: github ci cd

Third-Party Agent Skill: Review the code before installing. Agent skills execute in your AI assistant's environment and can access your files. Learn more about security

Installation for Agentic Skill

View all platforms →

Claude Code (CLI) Fast

skilz install letta-ai/skills/prove-plus-comm

OpenCode (CLI) Fast

skilz install letta-ai/skills/prove-plus-comm --agent opencode

OpenAI Codex (CLI) Native

skilz install letta-ai/skills/prove-plus-comm --agent codex

Gemini CLI (Project) Project

skilz install letta-ai/skills/prove-plus-comm --agent gemini

First time? Install Skilz: pip install skilz

Works with 22+ AI coding assistants

Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...

View All Agents

For Claude Desktop Easy

Download Agent Skill ZIP

Extract and copy to ~/.claude/skills/ then restart Claude Desktop

Manual Installation

1. Clone the repository:

git clone https://github.com/letta-ai/skills

2. Copy the agent skill directory:

cp -r skills/ai/benchmarks/letta/terminal-bench-2/trajectory-feedback/prove-plus-comm ~/.claude/skills/

View on GitHub

Need detailed installation help? Check our platform-specific guides:

Claude Desktop Guide Claude Code Guide Troubleshooting

Related Agentic Skills

tailwind-shadcn-setup

by vanman2024

Setup Tailwind CSS and shadcn/ui component library for Next.js projects. Use when configuring Tailwind CSS, installing shadcn/ui, setting up design...

TECHjavascript

Marketplace

spanish-language-tutor

by sandraschi

Comprehensive Spanish language expert covering grammar, conversation, regional dialects, and language learning strategies

javascript

Marketplace

frontend-dev-guidelines

by diet103

Frontend development guidelines for React/TypeScript applications. Modern patterns including Suspense, lazy loading, useSuspenseQuery, file organiz...

TECHjavascript

Marketplace

torch-geometric

by davila7

Graph Neural Networks (PyG). Node/graph classification, link prediction, GCN, GAT, GraphSAGE, heterogeneous graphs, molecular property prediction, ...

TECHjavascript

Marketplace

Agentic Skill Details

Owner: letta-ai (GitHub)
Repository: skills
Stars: 13
Forks: 1
Type: Non-Technical
Meta-Domain: development
Primary Domain: javascript
Market Score: 21

Agentic Skill Grades →

Browse Category

More development Agentic Skills

Report Security Issue

Found a security vulnerability in this agent skill?