A community-driven registry for Claude, Cursor, Windsurf, Cline & more. Not affiliated with Anthropic.

Browse Collections Guide CLINew MCP Publish

Skill Agent MCP Server Claude Rule Cursor Rule Windsurf Rule Cline Rule Hook Prompt Tool

Community registry for AI developer tools.

Discover

Search
Categories
Collections

Publish

Get Started
Getting Started
Publishing Guide

Community

About
Privacy
Terms

Stay updated

Get notified when new packages launch and features ship.Coming soon — sign up early.

Community project. Not affiliated with Anthropic. Claude Code is a product of Anthropic.

© 2026 CodeGuilds. All rights reserved.

Results for “lean4”

1 packages found

Official publishers only

Works With

Claude Cursor Windsurf Cline

Package Type

Skill Agent MCP Server Claude Rule Cursor Rule Windsurf Rule Cline Rule Hook Prompt Tool

Category

Code Quality Testing Documentation DevOps Database API Development Security Frontend Backend AI / ML Productivity Collaboration CLI Workflows

Complexity

EasyMediumAdvanced

Minimum Rating

MCP Server×Works with: Cursor×

MCP Servermathlas

@codeguilds-knightCommunity

Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab

0v1.4.0Compare

ai-toolsclaude