"Mathematical modeling resources and information" matching MCP servers:

A comprehensive MCP server for structured threat modeling using STRIDE methodology, with automatic code validation and report generation.

Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.

Free deterministic security scan of a public git repository (GitHub, GitLab, Codeberg, Bitbucket): vulnerable dependencies via OSV.dev, secret patterns, and config lint, returned as structured JSON. Tools: scan_repository(url), audit_pricing(). Runs locally over stdio (python3 web/mcp_stdio.py or the Dockerfile) and is also hosted at https://project-feldspar.com/mcp. MIT licence, stdlib-only. Buil

Gitbub mcp

locidx

MCP server that provides npm package information for AI agents during TypeScript development.

Enables extraction of mathematical content from TeX papers and conversion to Lean code through a structured intermediate representation. Supports project scaffolding, entity management, and task tracking for mathematical formalization workflows.

A Model Context Protocol server that provides tools for mathematical calculations and directory listing, alongside prompt templates for code reviews and explanations. It enables file system access and resource reading through stdio transport.

Enables coding agents to navigate and query source code by providing context, symbols, and call graph information through a graph index.

Enables AI agents to assess AI-readiness and improve AI leverage through analysis tools, resources, and prompts for project scanning and remediation.

Enables agents to connect to Language Server Protocol servers as a headless editor, exposing LSP capabilities like diagnostics, rename, and formatting through MCP tools and resources.

MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.

Enables LLM clients like Claude to interact with IDA Pro for binary analysis, decompilation, cross-references, patching, and more via 41 MCP tools, 8 resources, and 7 guided prompts.

Enables interaction with Binary Ninja for binary analysis and reverse engineering, providing tools and resources to examine binaries, decompile functions, and manage symbols through natural language.

Answers questions about your installed Arma Reforger / Enfusion game by reading local .pak archives and resources, and can optionally drive the Workbench editor for live inspection and modifications.

Enables parametric CAD modeling using OpenSCAD via MCP, supporting syntax checking, rendering, measuring, and previewing within a sandboxed workspace.

Enables AI coding agents to inspect Runable projects over MCP, providing read-only access to project information and configuration via Runable's inspector.

Enables AI to read and modify STARLIMS code, forms, and resources, assisting in page development and configuration through MCP interfaces.

An MCP server that exposes IDA Pro's disassembler and Hex-Rays decompiler as tools and resources, enabling parallel binary analysis with multiple agents through a supervisor.

Enables security scanning of source code and Apple configuration files, providing evidence-based findings, explanations, remediation plans, threat modeling, and knowledge base access through MCP tools.