mcp

namin/dafny-sketcher

piggybacking on the Dafny language implementation to explor…

Warn

Owner: namin Language: Dafny Stars: 17 Rating: 0.0

Last sync: Jul 24, 2026 GitHub: Jul 24, 2026

mcp

NickoScope/nickol-knx-mcp

Design-time KNX/ETS assistant as an MCP server: validate (n…

Warn

Owner: NickoScope Language: Python Stars: 5 Rating: 0.0

Last sync: Jul 7, 2026 GitHub: Jul 7, 2026

skill

Mahiler1909/claudepath

Move Claude Code projects without losing session history —…

Pass

Owner: Mahiler1909 Language: Python Stars: 15 Rating: 0.0

Last sync: Jul 3, 2026 GitHub: Jul 3, 2026

agent

Aboudjem/solidity-style-guide

AI-ready Solidity style guide for Solidity 0.8.30 — naming,…

Pass

Owner: Aboudjem Language: - Stars: 31 Rating: 0.0

Last sync: Apr 17, 2026 GitHub: Apr 17, 2026

skill

kawasima/evolutionary-naming

Claude Code skill for evolutionary naming — improve names s…

Pass

Owner: kawasima Language: - Stars: 31 Rating: 0.0

Last sync: Apr 15, 2026 GitHub: Apr 15, 2026

skill

Mr8BitHK/claude-terminal

Tabbed terminal manager for Claude Code sessions — run mult…

Fail

Owner: Mr8BitHK Language: TypeScript Stars: 12 Rating: 0.0

Last sync: Apr 14, 2026 GitHub: Apr 14, 2026

mcp

EtienneChollet/ontomics

Extract domain knowledge from codebases to reduce LLM token…

Fail

Owner: EtienneChollet Language: Rust Stars: 16 Rating: 0.0

Last sync: Apr 13, 2026 GitHub: Apr 13, 2026

skill

jftuga/claude-image-renamer

AI-powered image renaming script that generates descriptive…

Pass

Owner: jftuga Language: Shell Stars: 18 Rating: 0.0

Last sync: Apr 1, 2026 GitHub: Apr 1, 2026

agent

Erikote04/Swift-API-Design-Guidelines-Agent-Skill

Swift API Design Guidelines Agent Skill for AI coding tools…

Warn

Owner: Erikote04 Language: - Stars: 13 Rating: 0.0

Last sync: Mar 30, 2026 GitHub: Feb 18, 2026

skill

glacierphonk/naming

Claude Code skill for naming products, SaaS, and brands. Me…

Warn

Owner: glacierphonk Language: Shell Stars: 5 Rating: 0.0

Last sync: Mar 30, 2026 GitHub: Mar 21, 2026