Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc

Nia is a context-augmentation layer for agents, primarily designed for coding agents. It provides them with an up-to-date knowledge base and improves their performance by 27%.
The Vibe Coding++™ platform - orchestrate multiple AI agents, experiment with isolated attempts, ship code you understand. Multi-agent kanban with MCP integration.
Multi-registry skill discovery and installation for AI coding agents — search 9 sources, score, paginate, and install agent skills with security labels
Azan + Prayer Time + MCP + AI Agents + Islamic + Salah + A lightweight MCP library to calculate prayer times and trigger Azan with a single tool call. If you’re building an AI agent or prayer application, there’s no need to deal with astronomical calculations, timezones, or edge cases again.
Claude Code skill that translates plain-English sound descriptions into working Web Audio API and Tone.js code
CLI that learns repository-specific Claude skills with evolutionary search.
Local-first AI knowledge layer. Extract architecture, query from any AI tool via MCP. Private by architecture.
SpecStory's official collection of agent skills. Summarize, organize and create with `.specstory/history`
A Powerful Search Server based on Cloudflare Worker, Enhance Your AI Tool with MCP
CLI for exploring Spot instance pricing across AWS, GCP and Azure. Inspect Spot instance types, savings, price, and AWS interruption frequency — offline, from embedded data.
Vast.ai python and cli api client
Composable reasoning skills for Claude - antithesize, excavate, metaphorize, synthesize, and more
TDD + requirements workflow skill for AI coding agents (Claude Code, Codex, Antigravity, Cursor, Windsurf, etc.). Part of the Shelpuk agentic suite alongside Serena, Kindly Web Search, and Lad.
Forcing-function skills for AI agents — validated to improve behavior, not just change it.
An MCP server that provides LLMs access to other LLMs
Simplicity in Code, Power in Design
MCP to explore websites with llms.txt files
TypeScript Model Context Protocol (MCP) server boilerplate providing IP lookup tools/resources. Includes CLI support and extensible structure for connecting AI systems (LLMs) to external data sources like ip-api.com. Ideal template for creating new MCP integrations via Node.js.
Bitcoin & Lightning Network MCP Server.
MCP server for Microsoft SQL Server
The Wiki-link doc compiler for the LLM era.
An MCP server that scales development into controllable agentic, recursive flows, and build a feature from bottom-up
Command line interface and MCP for OneDrive