agentery
$ agentery.com/api/mcpsubmit agent
← Back to search

Market around chiasmus

MCP server enabling LLMs to perform formal verification via Z3 SMT solver and SWI-Prolog, with tree-sitter code analysis for constraint solving, taint tracking, and reachability verification.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at
chiasmus · Pro
No Pro plan
—
Pro-MCP server median
—
insufficient comparable pricing
vs Pro MCP servers
No comparison
chiasmus doesn't sell Pro
ⓘ Comparisons are same provider type (MCP server) and same buyer tier (Pro). Never across tiers.
Market density
15th pctile
8 strong substitutes
Price momentum · 31d
+16.1%
MCP servers · Pro median
$25/mo
1 priced · $25–$25 mid 50%
Platforms · Pro median
$120/mo
1 priced · $120–$120 mid 50%
Frameworks · Pro median
$49/mo
1 priced · $49–$49 mid 50%
Price spectrum · Pro plans · 3 of 4 providers priced · log scale · $25 → $120/mo
MCP servers Platforms Frameworks◻ shaded = middle 50% · line = median (all types)chiasmus has no comparable Pro price — not plotted

Products in this market

Ranked by how closely each one matches chiasmus's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.

MMCP servers30Ranked by relevance
chiasmusthis listing
● MCP · relevance 100%
no public price
prolog_reasoner
● MCP · relevance 79%
no public price
mentor_mcp_server
● MCP · relevance 69%
no public price
windbg_mcp
● MCP · relevance 68%
no public price
DC
dcl_trust_oracle
● MCP · relevance 68%
no public price
ejentum_mcp
● MCP · relevance 68%
no public price
mcp_language_server
● MCP · relevance 68%
no public price
ltspice_mcp_2
● MCP · relevance 68%
no public price
mcp_atom_of_thoughts
● MCP · relevance 68%
no public price
mcp_file_context_server
● MCP · relevance 67%
no public price
CouchLoop EQ
● MCP · relevance 67%
no public price
mcp_logic
● MCP · relevance 67%
no public price
ia-qa.com/mcp llm and RAG testing - Dev/QA toolbox
● MCP · relevance 67%
no public price
Real-Time LLM Guardrails
● MCP · relevance 67%
no public price
WEFT
● MCP · relevance 67%
no public price
jadx_mcp_server_2
● MCP · relevance 66%
no public price
agent_lsp
● MCP · relevance 66%
no public price
ICME Preflight
● MCP · relevance 66%
no public price
Needle
● MCP · relevance 66%
no public price
Prompt Injection Scanner MCP - LLM Security Testing
● MCP · relevance 66%
$25/mo Pro
LOCUS Engine
● MCP · relevance 66%
no public price
llm_evaluation_agent
● MCP · relevance 66%
no public price
LE
legal_logic_fuzzer
● MCP · relevance 65%
no public price
idassistmcp
● MCP · relevance 65%
no public price
jadx_ai_mcp
● MCP · relevance 65%
no public price
codetree
● MCP · relevance 65%
no public price
testing_mcp
● MCP · relevance 65%
no public price
clangaroo
● MCP · relevance 65%
no public price
mcp_python_interpreter
● MCP · relevance 65%
no public price
wavescope_mcp
● MCP · relevance 65%
no public price
FFrameworks14Ranked by relevance
openjudge
● FRAMEWORK · relevance 71%
no public price
giulia
● FRAMEWORK · relevance 70%
no public price
Guardrails AI
● FRAMEWORK · relevance 70%
no public price
sentinel_ai
● FRAMEWORK · relevance 68%
no public price
deepeval
● FRAMEWORK · relevance 67%
no public price
sema_lang
● FRAMEWORK · relevance 67%
no public price
abcoder
● FRAMEWORK · relevance 67%
no public price
openai_agents
● FRAMEWORK · relevance 66%
no public price
chimera_runtime
● FRAMEWORK · relevance 66%
$49/mo Pro
prover_agent
● FRAMEWORK · relevance 66%
no public price
harnessclaw_engine
● FRAMEWORK · relevance 65%
no public price
tardygrada
● FRAMEWORK · relevance 65%
no public price
noema_declarative_ai
● FRAMEWORK · relevance 65%
no public price
langwatch
● FRAMEWORK · relevance 64%
no Pro plan
entry $34/mo
AAgents2Ranked by relevance
MathCode
● AGENT · relevance 69%
no public price
agent_opfor
● AGENT · relevance 65%
no public price
PPlatforms1Ranked by relevance
AutoProver
● PLATFORM · relevance 66%
$120/mo Pro
OOther3Ranked by relevance
openlore
● OTHER · relevance 66%
no public price
proofreader_skill
● OTHER · relevance 66%
no public price
AgentGauntlet
● OTHER · relevance 64%
no public price

Market = the products most similar to this one by capability; prices are median / quartiles over its priced members, separated by provider type and buyer tier.