Skillget

24196 results

mcp

SkyShannonProver/shannon-prover

LLM agents that write machine-checked cryptographic proofs…

Warn
Owner: SkyShannonProver Language: Python Stars: 5 Rating: 0.0
Last sync: GitHub:
mcp

TechXploreLabs/seristack

Wrapping shell script in yaml to new extent

Warn
Owner: TechXploreLabs Language: Go Stars: 6 Rating: 0.0
Last sync: GitHub:
agent

iCodeCraft/anti-slop

Drop-in skills that stop AI coding agents from shipping gar…

Warn
Owner: iCodeCraft Language: - Stars: 5 Rating: 0.0
Last sync: GitHub:
mcp

Evref-BL/MCP

MCP server for Pharo

Fail
Owner: Evref-BL Language: Smalltalk Stars: 5 Rating: 0.0
Last sync: GitHub:
skill

sgharlow/claude-code-recipes

100 field-tested Claude Code recipes for knowledge workers…

Pass
Owner: sgharlow Language: - Stars: 366 Rating: 0.0
Last sync: GitHub:
mcp

provasign/prism

Call-graph context for AI coding agents — surfaces callers,…

Fail
Owner: provasign Language: Go Stars: 5 Rating: 0.0
Last sync: GitHub:
agent

TokenDanceLab/AgentHub

IM-native multi-agent collaboration platform — @mention Cla…

Warn
Owner: TokenDanceLab Language: TypeScript Stars: 5 Rating: 0.0
Last sync: GitHub:
mcp

neptaco/mcproc

A Model Context Protocol (MCP) server for comfortable backg…

Pass
Owner: neptaco Language: Rust Stars: 10 Rating: 0.0
Last sync: GitHub:
agent

maruf009sultan/nanobot-docker

An easy non-interactive deploy method for openclaws alterna…

Pass
Owner: maruf009sultan Language: Dockerfile Stars: 11 Rating: 0.0
Last sync: GitHub:
skill

sgharlow/ai-pr-bot

PR review bot for AI-generated code: GitHub App, queued ana…

Warn
Owner: sgharlow Language: TypeScript Stars: 5 Rating: 0.0
Last sync: GitHub:
mcp

guinacio/claude-image-gen

AI-powered image generation using Google Gemini, integrated…

Warn
Owner: guinacio Language: JavaScript Stars: 47 Rating: 0.0
Last sync: GitHub:
mcp

aoreshkov/kotlin-lib-mcp

MCP server exposing the sources, public API and KDoc of Mav…

Warn
Owner: aoreshkov Language: Kotlin Stars: 6 Rating: 0.0
Last sync: GitHub: