MCP-Logic
by angrysky56
claude-app-config.json•294 B
{
"mcpServers": {
"mcp-logic": {
"command": "uv",
"args": [
"--directory",
"/home/ty/Repositories/mcp-logic/src/mcp_logic",
"run",
"mcp_logic",
"--prover-path",
"/home/ty/Repositories/mcp-logic/ladr/bin"
]
}
}
}
Latest Blog Posts
- MCP Moves to the Linux Foundation: Neutral Stewardship for Agentic InfrastructureBy Om-Shree-0709 on .mcpanthropicLinux Foundation
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/angrysky56/mcp-logic'
If you have feedback or need assistance with the MCP directory API, please join our Discord server