@cyanheads/git-mcp-server

A secure and scalable Git MCP server enabling AI agents to perform comprehensive Git version control operations via STDIO and Streamable HTTP.
v2.5.8 URL: https://unpkg.com/@cyanheads/git-mcp-server@2.5.8/dist/index.js
OpenBrowse Files
ai-agentai-integrationautomationbranchcherry-pickclonecommitdevopsdifffetchgitgit-toolsllmllm-toolslogmcpmcp-servermergemodel-context-protocolpullpushrebaseremoteresetstashstatustagtypescriptversion-controlworktree

claude-faf-mcp

IANA-registered format (application/vnd.faf+yaml) • Persistent project context • MCP server for Claude Desktop • MIT License
v3.3.1 URL: https://unpkg.com/claude-faf-mcp@3.3.1/dist/src/index.js
OpenBrowse Files
claudeanthropicmcpmodel-context-protocolclaude-desktopmcp-serverclaude-mcpfaf.fafdot-faffaf-innitfast-afwolfejamproject-dnaai-contextai-readinessai-commitcontext-managementcontext-mirroringcontext-on-demandc-mirrorai-toolsllm-toolsclaude-toolsdeveloper-toolsdevtoolsproject-intelligencecontext-optimizationzero-configzero-setupchampionshipchampionship-scoringorange-smileyf1-inspiredpodium-systemgold-standardproduction-readytypescripttypescript-stricttype-safestrict-modebi-syncbidirectional-syncclaude-mdproject-contextcodebase-understandingai-assistantcode-intelligenceuniversal-contextgeminicursorcodexwindsurfwarpfree-foreveropen-sourcemit-licensepersistentpersistent-project-context

n8n-nodes-evolution-tools

n8n node para integrar com Evolution API WhatsApp como ferramenta para agentes com IA
v0.1.10 URL: https://unpkg.com/n8n-nodes-evolution-tools@0.1.10/index.js
OpenBrowse Files
n8nn8n-community-node-packagen8n-node-packageevolution-apiwhatsappai-toolsllm-toolsai-agent

lean-agentic

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic
v0.3.2 URL: https://unpkg.com/lean-agentic@0.3.2/dist/index.js
OpenBrowse Files
leantheorem-proverdependent-typesformal-verificationwasmwebassemblyhash-consingtype-theoryproof-assistantlean4type-checkerlambda-calculuscurry-howardpropositions-as-typesmodel-context-protocolmcpmcp-serverclaude-codeai-assistantllm-toolsarena-allocationzero-copyperformancetypescriptbrowsernodejscli-toolformal-methodsverificationcorrectnessde-bruijnterm-rewritingagentdbvector-searchvector-databaseepisodic-memoryreasoning-bankproof-learningsemantic-searchpattern-recognitionproof-recommendationsai-learninged25519digital-signaturescryptographic-attestationproof-signingagent-identitybyzantine-consensustamper-detectionchain-of-custodynon-repudiationdistributed-trust

@mettamatt/code-reasoning

Enhanced MCP server for code reasoning using sequential thinking methodology, optimized for programming tasks
v0.8.1 URL: https://unpkg.com/@mettamatt/code-reasoning@0.8.1/dist/index.js
OpenBrowse Files
mcpmodel-context-protocolcode-reasoningsequential-thinkingprogrammingclaudeaicoding-assistantreasoningproblem-solvingsystematic-thinkingcode-analysisdebugginganthropicllm-toolsbranchingrevisionreflective-thinking