LingNao
LocalLingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
Installation
{
"mcpServers": {
"lingnao": {
"command": "npx",
"args": [
"lingnao-mcp"
]
}
}
}
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
{
"mcpServers": {
"lingnao": {
"command": "npx",
"args": [
"lingnao-mcp"
]
}
}
}