Le catalogue réel des outils pour IA

Embedded, local-first agent memory: one SQLite file per namespace, no server, no cloud.

Enables coding agents to coordinate edits, reviews, and escalations without file locking conflicts

Token-minimized URL-to-clean-text reader for LLMs, with a token-savings receipt.

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Product management, public changelog, and feature requests - 60 lean MCP tools.

End-to-end agent-managed company brain. Docs, diagrams, plans, Knowledge Graph. Lean & affordable.

Keyless open data for 84 German cities: 12 lean read-only MCP tools covering 67 data types.

Lean Gmail MCP server with auto authentication support

Encrypted long-term memory shared across your AI assistants (Claude, ChatGPT, Perplexity).

Persistent semantic memory storage, associative recall, and recent memory index by namespace.

MCP server for GoCD: dashboard, pipelines, artifacts, agents. Context-lean output.

Persistent memory for AI agents. Semantic search, memory graph, W3C DID identity.

Persistent business-intelligence memory for AI agents.

An MCP memory server. One memory your agents share — across models, devices and apps.

Cross-session memory for AI agents with a Source Receipt for every memory, over MCP.

Private cross-media memory for AI assistants: recommendations, progress and controlled actions.

One user-owned memory shared across AI assistants: recall, spaces, and confirmed references.

Company memory for your team and its AI agents. Hosted service, account required.

Save AI conversations into your Worldku memory and recall them from any MCP client.

VaultCrux Memory Core — 32 tools: knowledge, decisions, constraints, signals, coverage