Le catalogue réel des outils pour IA

Verify consequential AI actions before they execute.

Constitutional AI kernel with 13 MCP tools, 888_JUDGE verdict pipeline, and VAULT999 ledger.

Deterministic research state, evidence validation and statistical recomputation.

Unofficial safety-focused MCP server for Kalshi market data and explicitly authorized trading

Local-first memory for AI agents: SQLite FTS5, deterministic recall, no vector DB, no cloud.

Access Kernel's cloud-based browsers and app actions via MCP (remote HTTP + OAuth).

Run a side effect exactly once under retries, redelivery, and concurrent workers.

Agent-first CAD: editable .kcad.ts source, deterministic review, OpenCASCADE kernel.

Verify what agents actually shipped, arbitrate file collisions, refuse with structured reasons.

Linux kernel CVE analyzer: upload a .config, get a CycloneDX VEX report of affecting CVEs.

Free dual MCP+agent registry. Probe Live, free demo, Kernel/Loop. Self-list + dual strategy.

Spacecraft ephemeris made easy — auto-managed SPICE kernels for heliophysics

MCP server for the Kaggle API: competitions, datasets, kernels, and models.

Spacecraft ephemeris made easy — auto-managed SPICE kernels for heliophysics

WinDbg/DbgEng over MCP: crash dumps, live user & kernel, driver IOCTLs, and TTD.

Work-queue kernel for AI coding agents: dependencies, worktree isolation, quality gates, recovery

Read and change VPN Bypass (macOS) routing: domain lists, services, modes, kernel routes, logs

Parametric CAD as code: model 3D-printable parts on an exact B-rep kernel, measured.

Turn PyTorch into fast CUDA/Triton kernels on real datacenter GPUs with up to 14x speedup.

Pre-flight L2 health check using kernel-level eBPF telemetry. PASS/DEGRADED/FAIL verdict.