24184 sonuc
mcp
SkyShannonProver/shannon-prover
LLM agents that write machine-checked cryptographic proofs…
Uyari
mcp
TechXploreLabs/seristack
Wrapping shell script in yaml to new extent
Uyari
agent
iCodeCraft/anti-slop
Drop-in skills that stop AI coding agents from shipping gar…
Uyari
mcp
Evref-BL/MCP
MCP server for Pharo
Basarisiz
skill
sgharlow/claude-code-recipes
100 field-tested Claude Code recipes for knowledge workers…
Gecti
mcp
provasign/prism
Call-graph context for AI coding agents — surfaces callers,…
Basarisiz
agent
TokenDanceLab/AgentHub
IM-native multi-agent collaboration platform — @mention Cla…
Uyari
mcp
neptaco/mcproc
A Model Context Protocol (MCP) server for comfortable backg…
Gecti
agent
maruf009sultan/nanobot-docker
An easy non-interactive deploy method for openclaws alterna…
Gecti
skill
sgharlow/ai-pr-bot
PR review bot for AI-generated code: GitHub App, queued ana…
Uyari
mcp
guinacio/claude-image-gen
AI-powered image generation using Google Gemini, integrated…
Uyari
mcp
aoreshkov/kotlin-lib-mcp
MCP server exposing the sources, public API and KDoc of Mav…
Uyari