SPARDA
Verified · 13 days agoAI writes. SPARDA proves. Deterministic, offline security gate for AI edits.
AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.
Adaptive plan/build/review cycles for AI coding assistants, persisted across sessions.
AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.
Compact Figma MCP with validated batch ops through a local plugin bridge.
MCP server for simap.ch - Swiss public procurement platform
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
Feishu/Lark MCP server + CLI tool. 85 tools, 3 auth layers. Send as user via cookie+protobuf.
MCP server for Pipedrive CRM. 155 tools for deals, persons, organizations, activities, and more.
MCP server for loading authenticated web pages using Chrome DevTools Protocol
Author, edit and run Bruno collections as files: HTTP, WebSocket, gRPC, per-request pass/fail.
A local intelligence layer for AI coding agents. Maps your repos, matches the open-source frontier.
575+ agent tools: data, AI gateway, storage/queues/watchers. x402 USDC, no keys, usage billing.
Pi-hole v6 MCP server - manage DNS blocking, stats, whitelists/blacklists
Agentic UX testing for real Electron apps: launch, inspect, interact, and assert through MCP.
An MBTI-powered terminal pet companion for Claude Code and OpenClaw.
Keyless-first MCP: 153 tools for US federal + state/local (SLED) contracting, spending & regulation
Meet the people you're looking for. Your agent composes, you approve. Nothing scores or ranks you.
Filesystem-first MCP for Obsidian — an LLM-maintained wiki inspired by Karpathy's LLM Wiki.
Trainable non-fiction writing voice, presets, and an anti-AI-tells audit for Claude, via MCP.
Unofficial Infomaniak MCP — hosting, Node.js, mail, DNS, kDrive, SSL, VPS, domains. 81 tools.