jimwhite/acl2-mcp-bridge

Score: 24.3 Rank #9004

Multi-protocol ACL2 server that supports the legacy ACL2 Bridge protocol, modern Model Context Protocol (MCP), and a direct Common Lisp REPL

Overview

jimwhite/acl2-mcp-bridge is a Common Lisp MCP server licensed under BSD-3-Clause. Multi-protocol ACL2 server that supports the legacy ACL2 Bridge protocol, modern Model Context Protocol (MCP), and a direct Common Lisp REPL

Ranked #9004 out of 25632 indexed tools.

Ecosystem

Common Lisp BSD-3-Clause

Signal Breakdown

Stars 1

Freshness 2mo ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 0

Description Good

License BSD-3-Clause

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Freshness high impact

Last commit was 73 days ago — a recent commit would boost your freshness score

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Badge

AgentRank score for jimwhite/acl2-mcp-bridge

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/jimwhite--acl2-mcp-bridge)](https://agentrank-ai.com/tool/jimwhite--acl2-mcp-bridge)

HTML

<a href="https://agentrank-ai.com/tool/jimwhite--acl2-mcp-bridge"><img src="https://agentrank-ai.com/api/badge/tool/jimwhite--acl2-mcp-bridge" alt="AgentRank"></a>

Details

Stars: 1
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Common Lisp
License: BSD-3-Clause
Last Commit: 2mo ago

Matched Queries

"model context protocol""model-context-protocol"

View on GitHub →

Are you the maintainer? Claim this listing