What is symbolic-mcp?
symbolic-mcp is a coding that MCP server for symbolic execution and formal verification of code. It has a Nerq Trust Score of 66/100 (C). 0 GitHub stars. Published by democratize-technology. Last analyzed September 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 1/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ✅ Transparency: License: MIT — Clear licensing
Trust & Safety Overview
What symbolic-mcp Does
symbolic-mcp is a mcp_server in the coding category. MCP server for symbolic execution and formal verification of code. It is published by democratize-technology and is open source. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use symbolic-mcp
symbolic-mcp is suitable for evaluation and non-critical use. Review the trust score breakdown before using in production.
Details
| Author | democratize-technology |
|---|---|
| Category | coding |
| License | MIT |
| Type | mcp_server |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 1/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=symbolic-mcp
Setup guide · Full safety report · Production review · Is it safe?
Safer Alternatives
| Tool | Trust | Stars |
|---|---|---|
| AutoGPT | 65 | 181.9K |
| ollama | 64 | 163.0K |
| langchain | 77 | 127.8K |
| system-prompts-and-models-of-ai-tools | 64 | 115.3K |
| opencode | 78 | 108.1K |
Frequently Asked Questions
Last updated September 2026. Trust scores based on automated analysis of public data.