Skip to main content

MCP App Store

Agent Skills

SKILL.md packages that extend Claude Code, Cursor, Copilot, and other AI agents.

Tags

All Skills automation cli devops security testing workflow mcp python developer-tools integration orchestration documentation ci api research productivity frontend compliance audit monitoring

Trust Score Usefulness Recommended Stars Latest

Filters

Tags

#formal-verification×

redact

Lean 4 Proof Completion

redact

Complete mathematical proofs in Lean 4 for sequences and convergence, ensuring type-safe and warning-free results.

lean4formal-verificationmathematics

MCP App Store

The AI ecosystem directory — MCP Apps, Agent Skills, and daily news.

Directory

MCP Apps & Servers Agent Skills AI News AI Models What are MCP Apps?

Resources

Documentation Specification GitHub

Account

Sign in Get Started Dashboard

Company

Advertise Contact Build an MCP App

Legal

Privacy Policy Terms of Use

© 2026 MCP App Store

All rights reserved.