A community-driven registry for the Claude Code ecosystem. Not affiliated with Anthropic.

Browse Collections Guide CLI MCP Publish

Skill Agent MCP Server Template Hook Prompt

Community registry for Claude Code extensions.

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 “mathematics”

2 packages found

Package Type

Skill Agent MCP Server Template Hook Prompt

Category

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

Complexity

EasyMediumAdvanced

Minimum Rating

MCP Servercervellaswarm

@claude-sa-communityCommunity

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests

0v1.0.0Compare

ai-agentsformal-verification

MCP Serveropenttt-mcp

@claude-sa-communityCommunity

OpenTTT MCP Server — Proof-of-Time temporal attestation for AI agents

0v0.1.5Compare