MCP Logic

mcplogic
src
logic
transform

distribute.ts
dropUniversals.ts
index.ts
nnf.ts
simplify.ts
skolemize.ts
standardize.ts
tseitin.ts

index.ts•193 B

export * from './nnf.js'; export * from './skolemize.js'; export * from './standardize.js'; export * from './distribute.js'; export * from './simplify.js'; export * from './dropUniversals.js';

Loading blob content...

Latest Blog Posts

Redis vs ioredis vs valkey-glide
By punkpeye on January 26, 2026.
benchmark
Redis
valkey
Quickstart: Publish an MCP Server to the MCP Registry
By punkpeye on January 24, 2026.
mcp
official reference mirror
Official MCP Registry Server.json Requirements
By punkpeye on January 24, 2026.
mcp
official reference mirror

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/autonull/mcplogic'

If you have feedback or need assistance with the MCP directory API, please join our Discord server