18 skills found
shenlian19831109 / progmune-runtimeProgmune Runtime — Program Immunology: A constraint-guided program synthesis runtime for verifiable AI-generated code
TwoWells / CatenaryGiving AI coding agents LSP-powered code intelligence.
nikkoxgonzales / crash-mcpMCP server for structured and efficient reasoning with step validation, branching, and revisions.
vllm-project / semantic-routerA programmable Mixture-of-Models router for heterogeneous LLM inference
MatthewZMD / aidermacsAI Pair Programming in Emacs with Aider
NewJerseyStyle / plugin-mctsLarge language models as commonsense world model and heuristic policy within Monte-Carlo Tree Search, enabling better-reasoned decision-making for daily task planning problems in Claude Code.
liwala / shealself-healing and self-learning loop for coding agents
microprediction / preciseOnline (incremental) covariance, correlation, and precision estimation in Python — the streaming complement to sklearn.covariance
PDgit12 / knitbrainThe local-first brain for coding agents: project memory + workflow intelligence + lossless ~50% context savings. MCP server + LLM proxy, zero cloud.
BlinkZer0 / Phys-MCPA physics focused calculator for LLM's using Model Context Protocol (MCP)
brettmartin97 / codegraphMCP server for call-graph analysis, blast-radius impact, and code intelligence for AI coding assistants
NirDiamant / agents-towards-productionEnd-to-end, code-first tutorials for building production-grade GenAI agents. From prototype to enterprise deployment.
CodeGlide / codeglide-mcpgenGeneration of Secure MCP (Model Context Protocol) Servers from API source code at Scale
flothjl / langtools-mcpSupercharge AI agents with programming language tools
symgraph / BinAssistMCPBinary Ninja plugin to provide MCP functionality.
dioptx / mcp-atom-of-thoughtsMCP server for structured AI reasoning — decompose problems into atomic thoughts with dependency graphs, confidence tracking, and interactive D3.js visualization
crepererum-oss / common-sense-coderAn LSP-MCP bridge for code assistants.
cklose2000 / pinescript-mcp-serverA Model Context Protocol (MCP) server for working with TradingView PineScript
