Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Deterministic refund eligibility notary MCP server. Returns ALLOWED / DENIED / UNKNOWN for subscription refunds (Adobe, Spotify, etc.) via a stateless rules engine.
MCP server that gives AI agents structured, ground-truth GitHub repository intelligence. Analyze tech stack, dependencies, architecture, health metrics, and security indicators with deterministic JSON
Deterministic execution engine for AI agents with 412 modules across 78 categories (browser, file, Docker, data, crypto, scheduling). Features execution trace, evidence snapshots, replay from any step
Deterministic security proxy (iptables for MCP) that intercepts tool calls, enforces YAML policies, scans for secret leakage, and logs everything. No AI, no cloud.
Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime IMPORTANT: > - **Using Claude Code?** → Install the [Plugin](#-claude-code-plugin-recommended-for-claude-code) (easier,
Decompose text into classified semantic units with authority, risk, attention scores, and entity extraction. No LLM. Deterministic. Works as MCP server or CLI.
DevDocs-MCP is a MCP server that provides version-pinned, deterministic documentation sourced from [DevDocs.io](https://devdocs.io) in offline mode
Aleatoric Engine is deterministic market simulation infrastructure for generating reproducible, schema-stable synthetic market data used in financial research, validation, and systems testing. It prio
Automate web browsing with fast, reliable actions driven by structured page snapshots. Click, type, navigate, manage tabs, and extract content without screenshots or vision models. Get deterministic r
Deterministic semantic word encoding and valence/sentiment analysis using 145K+ word lexicon. Provides word-to-code mapping, semantic similarity, synonym/antonym lookup with zero runtime NLP dependenc
Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime IMPORTANT: > - **Using Claude Code?** → Install the [Plugin](#-claude-code-plugin-recommended-for-claude-code) (eas
Discover and analyze technologies across key dimensions, then compare options side-by-side to spot the best fit. Get tailored stack recommendations for your project’s type, scale, and priorities. Cr
VARRD is the Cursor for trading — an AI-native quant research engine that turns domain knowledge into statistically validated trading edges. Describe any idea in plain English, and VARRD loads real
Leverage Anchor Browser's infrastructure for scalable, geo-targeted, and anti-detection browser automation without local dependencies. Simplify browser automation with fast, structured data access and
**Build n8n workflows from text using AI** - Built by [FlowEngine](https://flowengine.cloud)
Manage Apache Ambari clusters effortlessly. Start, stop, and restart services; monitor health and alerts; and query Ambari Metrics with exact identifiers. Inspect and update configurations, track requ
Discover tools across your connected servers using natural language. Find the right capability fast and avoid manual browsing. Run chosen tools directly without switching contexts.
Search and retrieve NGSS standards by code, domain, or topic. Explore three-dimensional components (SEPs, DCIs, and CCCs) and discover related standards by shared practices, concepts, or core ideas. P
AI-native calendar middleware for scheduling, availability, and conflict-free booking across Google Calendar, Outlook, and CalDAV. 15 tools across 5 layers: temporal context, calendar operations, mult
Index and search codebases using structured schemas for deep code analysis. Audit specific domains or security-related functions to ensure code quality and safety. Explore complex codebases with hig