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 “theorem-proving”

2 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 Tutorials

Complexity

EasyMediumAdvanced

Minimum Rating

Works with: Claude×

AgentICLR2025-Papers-with-Code

@codeguilds-knightCommunity

历年ICLR论文和开源项目合集，包含ICLR2021、ICLR2022、ICLR2023、ICLR2024、ICLR2025.

0v1.0.0Compare

deep-learning-papergemmini

@codeguilds-knightCommunity

Agentic Theorem Prover for Rocq for Program Verification

0v1.0.0Compare

llm-agentrocq-prover

New