Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get deterministic answers with proof, not LLM guesses. Connect agents via MCP, Python SDK, TypeSc
接入配置
选择客户端，复制配置，再按项目文档补齐环境变量。
claude mcp add logic --env NOCTURNUSAI_API_KEY='<NOCTURNUSAI_API_KEY>' -- npx -y nocturnusai-mcp~/.codex/config.toml
[mcp_servers.logic]
command = "npx"
args = ["-y", "nocturnusai-mcp"]
env = { NOCTURNUSAI_API_KEY = "<NOCTURNUSAI_API_KEY>" }
# codex mcp add logic --env NOCTURNUSAI_API_KEY='<NOCTURNUSAI_API_KEY>' -- npx -y nocturnusai-mcp~/.cursor/mcp.json
{
"mcpServers": {
"logic": {
"command": "npx",
"args": [
"-y",
"nocturnusai-mcp"
],
"env": {
"NOCTURNUSAI_API_KEY": "<NOCTURNUSAI_API_KEY>"
}
}
}
}.vscode/mcp.json
{
"servers": {
"logic": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"nocturnusai-mcp"
],
"env": {
"NOCTURNUSAI_API_KEY": "<NOCTURNUSAI_API_KEY>"
}
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"logic": {
"command": "npx",
"args": [
"-y",
"nocturnusai-mcp"
],
"env": {
"NOCTURNUSAI_API_KEY": "<NOCTURNUSAI_API_KEY>"
}
}
}
}claude_desktop_config.json
{
"mcpServers": {
"logic": {
"command": "npx",
"args": [
"-y",
"nocturnusai-mcp"
],
"env": {
"NOCTURNUSAI_API_KEY": "<NOCTURNUSAI_API_KEY>"
}
}
}
}.trae/mcp.json
{
"mcpServers": {
"logic": {
"command": "npx",
"args": [
"-y",
"nocturnusai-mcp"
],
"env": {
"NOCTURNUSAI_API_KEY": "<NOCTURNUSAI_API_KEY>"
}
}
}
}需要的环境变量
NOCTURNUSAI_API_KEY
把占位值换成你自己的密钥；不要把密钥提交到代码仓库。