Skills MCP Plugins Subagents

Browse by category

Coding Skills2061 Marketing Skills1580 Design Skills1479 Security Skills1134 Automation Skills994 Testing Skills985 Media Skills908 Infrastructure Skills902 Data Skills883 Finance Skills840 Automation MCPs799 Planning Skills797 DevTool MCPs797 Documentation Skills757 Coding MCPs738 Productivity Skills721 Productivity MCPs649 Data MCPs505 DevTool Skills503 Infrastructure MCPs482 Security MCPs441 Debugging Skills428 Code review Skills415 Search & RAG MCPs409

The Monday digest

The week's best new agents, skills and MCP servers. One email, every Monday.

Free · unsubscribe anytime.

aaaa.fyi

Every agent skill, MCP server, plugin and subagent — searchable, comparable, and one command from installed. Live stats from GitHub, npm and PyPI.

Agent Skills MCP Servers Plugins Subagents Coding Agents

Collections Official publishers Glossary Blog Search Saved Feedback

Privacy Terms llms.txt Sitemap

made with ♥ · © 2026 aaaa.fyi

Independent project · real data from public registries

…/shipitsteven/logic-lm-mcp

home/mcp-servers/shipitsteven/logic-lm-mcp

logic-lm-mcp

5stars1forks

How to install logic-lm-mcp?

shipitsteven/logic-lm-mcp

$git clone https://github.com/shipitsteven/logic-lm-mcp

Installs into the current project.

Summary

Logic-LM MCP Server: Symbolic reasoning for Claude Code using Answer Set Programming and the Clingo solver.

shipitstevenPublisher · 1 listing

Preview

shipitsteven/logic-lm-mcp

Reposhipitsteven/logic-lm-mcp

LicenseMIT

TypeMCP Servers

CategoryWeb3

UpdatedAug 2025

First seenJul 22, 2026

Tags

MCP claude-code-mcp logic-lm

People who liked this also viewed

6 picks

Type

aibtc-mcp-serverBitcoin-native MCP server for AI agents: BTC/STX wallets, DeFi yield, sBTC peg, NFTs, and x402 payments.MCP ServersJul 20263.7k10
web3-research-mcpDeep Research for crypto - free & fully localMCP ServersJul 20263.1k160
dexpaprika-mcpDexPaprika MCP server for real-time crypto token data, DEX trading activity, and DeFi analytics across multiple blockchains.MCP ServersJul 20261.4k41
mcp-serversA collection of MCP servers to allow LLMs to use the qiskit,qiskit-ibm-runtime library, qiskit-ibm-transpiler, qiskit-code-assistant service library and othersMCP ServersJul 202695637
evm-mcp-serverMCP server that provides LLMs with tools for interacting with EVM networksMCP ServersJun 2026594380
algorand-mcpAlgorand Local Model Context Protocol (Server & Client)MCP ServersJun 202655844