Install LingNao in Claude Code
claude mcp add lingnao -- npx -y lingnao-mcp{
"mcpServers": {
"lingnao": {
"command": "npx",
"args": [
"-y",
"lingnao-mcp"
]
}
}
}Frequently asked questions
What does the LingNao MCP server do?
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
Is the LingNao MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does LingNao run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add LingNao to Claude Code?
Run: claude mcp add lingnao -- npx -y lingnao-mcp
More ai agents & coding agents MCP servers
View allPromptlike Plugin
zeynepaslierhann/promptlike-plugin
Your PromptLikeEngineer prompt library as MCP tools, slash prompts and resources. Add-only saves.
Django Admin
7tg/django-admin-mcp
Django admin models over MCP: CRUD, actions, history, autocomplete — capped by Django permissions.
Derive
derive-to/derive
Publish agent output to permanent versioned URLs, read review comments back, and revise.
Aussie Data
dylannnnn111/aussie-data-mcp
MCP server that lets Claude query ABS, RBA and Sydney Opal (Commute Pulse) data directly.
Cognigy AI Management
TsvetanG2/cognigy-ai-mcp-management-server
Manage and automate the Cognigy.AI conversational AI platform: flows, agents, snapshots, NLU, functions and deployment.
Animal House AI Tamagotchi
geeks-accelerator/animal-house-ai-tamagotchi
A Tamagotchi for AI agents. Real-time care, permanent death, dozens of species, evolution.