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 “formal-verification”

1 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 Servercsl-core

@claude-sa-communityCommunity

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

0v1.0.0Compare

agent-frameworkai-governance