Live registry search

Results for “coq”

Exact name and slug matches are checked against the live registry before ranked alternatives.

Clear search

Decision filters

Choose by scenario, quality, and trust signals.

Use casePlatform fitQuality tierTrust profileSafety gateGitHub adoption

Showing 1-2 of 2 ranked candidates matching "coq"

Best blend of relevance, quality, freshness, and verified outcomes

Toychain

NEEDS REVIEW · 41TRUST · 68SAFE · BLOCKEDCODING

A minimalistic blockchain consensus implemented and verified in Coq

$ npx skills add verse-lab/toychain

113 stars33 quality68 trustBlocked for auto-install6y since pushRisky

QualityInspect the repository carefully before adding it to an agent workflow.Check: Repository looks stale

TrustPotentially useful, but at least one trust signal needs human inspection.Review: Repository looks stale

Safety gateThis skill should not be selected by an agent without explicit human security review.

Scenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.

CLI + Codex · 4 targets

coqblockchain

by verse-labDetailsQuick view

ConCert

PROMISING · 62TRUST · 75SAFE · REVIEWEDCODING

A framework for smart contract verification in Coq

$ npx skills add AU-COBRA/ConCert

126 stars41 quality75 trustReviewed with permission notes4mo since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.

TrustGood trust signals with a few areas worth checking before rollout.Review: Quality score needs review

Safety gateUsable candidate, but the agent should surface permission and audit notes before installation.

Scenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.

CLI + Codex · 4 targets

rocq-proverblockchain

by AU-COBRADetailsQuick view

Live registry search

Results for “coq”

Exact name and slug matches are checked against the live registry before ranked alternatives.

Clear search

Decision filters

Choose by scenario, quality, and trust signals.

Use casePlatform fitQuality tierTrust profileSafety gateGitHub adoption

Showing 1-2 of 2 ranked candidates matching "coq"

Best blend of relevance, quality, freshness, and verified outcomes

Toychain

NEEDS REVIEW · 41TRUST · 68SAFE · BLOCKEDCODING

A minimalistic blockchain consensus implemented and verified in Coq

$ npx skills add verse-lab/toychain

113 stars33 quality68 trustBlocked for auto-install6y since pushRisky

QualityInspect the repository carefully before adding it to an agent workflow.Check: Repository looks stale

TrustPotentially useful, but at least one trust signal needs human inspection.Review: Repository looks stale

Safety gateThis skill should not be selected by an agent without explicit human security review.

Scenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.

CLI + Codex · 4 targets

coqblockchain

by verse-labDetailsQuick view

ConCert

PROMISING · 62TRUST · 75SAFE · REVIEWEDCODING

A framework for smart contract verification in Coq

$ npx skills add AU-COBRA/ConCert

126 stars41 quality75 trustReviewed with permission notes4mo since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.

TrustGood trust signals with a few areas worth checking before rollout.Review: Quality score needs review

Safety gateUsable candidate, but the agent should surface permission and audit notes before installation.

Scenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.

CLI + Codex · 4 targets

rocq-proverblockchain

by AU-COBRADetailsQuick view

AI Agent Skills Directory

Results for “coq”

Choose by scenario, quality, and trust signals.

Toychain

ConCert

AI Agent Skills Directory

Results for “coq”

Choose by scenario, quality, and trust signals.

Toychain

ConCert

AI Agent Skills Directory

Results for “coq”

Choose by scenario, quality, and trust signals.

Toychain

ConCert