AI Dev Impact Lab JA
← Topics ranking · 2026-08
GITHUB TOPIC

#coq

GitHub repositories that have self-applied the topic "coq" — a creator-tagged metadata that surfaces how AI projects describe themselves.

1
tagged repos
0
top 1 stars
0
with tool sigs
1
shown

REPOS Repos for #coq (top 1 by stars)

ss1738/proof-carrying-ai

Proof-carrying compliance certificates for AI agent actions: machine-checked (Coq, axiom-free) + zero-knowledge proofs that an agent action obeyed a formal policy.

Python ★ 0 AI 100

RELATED Other topics · full topics ranking →

#claude-code

1,576

#ai-agents

1,183

#llm

1,086

#claude

949

#python

829

#ai

746

#mcp

741

#developer-tools

739

#codex

525

Aggregated by case-insensitive match against topics_json of each repo's latest content snapshot. methodology