The real catalog of tools for AI agents

SWI-Prolog as a logic calculator for LLMs

Agent reasoning, memory, and token-optimized context for AI applications.

Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.

Ask one question and get the share of people on X and Reddit who hold each answer, tied to posts.

Pay-per-call GLM 5.3 MCP tool via x402 on Base. Reasoning, tool-calls, OpenAI-compatible.

Stock research, investor theses, dated evidence, catalysts, risks and belief changes.

Knowledge graph ingestion, entity search, ontology analysis, and CoPass scoring.

run any ai model. compose agents, stack knowledge, connect tools. one api, pay per run.

Knowledge graph ingestion, entity search, ontology analysis, and CoSync scoring.

Read and write one codebase ontology kept as Markdown in the repository.

Autonomous legal contract testing suite checking syntax anomalies.

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

Curated Korean AEC expertise for AI agents: KDS·KCS·KS, building law, practice, and the reasoning.

CroweLM tiers and frontier engines by name, metered per Crowe Logic plan. Ask, list models, account.

Ontology platform for field service: AI agents observe, connect and act on business objects.

A label property graph on SQLite/Postgres with multi-ontology routing and a gated MCP server.

Project knowledge graph with history-checked belief staleness, changeset proposals, cost reporting

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

HTTP reason-phrase catalog size

Premium agentic endpoint for co2-inference-calculator-mcp.