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

Market around Frama-C MCP

An MCP server that lets AI agents use Frama-C for EVA abstract interpretation, WP deductive proofs, ACSL annotation injection, and isolated sandbox iteration on C projects.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at
Frama-C MCP · Pro
No Pro plan
—
Pro-MCP server median
$29
across 3 priced MCP servers
vs Pro MCP servers
No comparison
Frama-C MCP doesn't sell Pro
ⓘ Comparisons are same provider type (MCP server) and same buyer tier (Pro). Never across tiers.
Market density
3rd pctile
1 strong substitutes
Price momentum · 30d
—
MCP servers · Pro median
$29/mo
3 priced · $29–$64 mid 50%
Price spectrum · Pro plans · 2 of 3 providers priced · log scale · $29 → $29/mo
MCP servers◻ shaded = middle 50% · line = median (all types)Frama-C MCP has no comparable Pro price — not plotted

Products in this market

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

MMCP servers27Ranked by relevance
Frama-C MCPthis listing
● MCP · relevance 100%
no public price
mcp_claude_code
● MCP · relevance 69%
no public price
codetree
● MCP · relevance 68%
no public price
project_mapper
● MCP · relevance 67%
no public price
reverselab
● MCP · relevance 67%
no public price
xcode_mcp_wrapper
● MCP · relevance 67%
no public price
reversecore_mcp
● MCP · relevance 66%
no public price
minh_gkg
● MCP · relevance 66%
no public price
sense
● MCP · relevance 66%
no public price
enola
● MCP · relevance 65%
no public price
FlowCraft
● MCP · relevance 65%
no public price
rea
● MCP · relevance 65%
no public price
browseai_dev
● MCP · relevance 65%
no public price
mcp_adr_analysis_server
● MCP · relevance 65%
no public price
revula
● MCP · relevance 65%
no public price
flatland
● MCP · relevance 65%
no public price
mcp_eu_ai_act
● MCP · relevance 65%
$29/mo Pro
0% vs Pro median
SafeAgent Token Safety — 38 MCP Tools for DeFi Security
● MCP · relevance 65%
no public price
mcp_debugger_2
● MCP · relevance 64%
no public price
vorim_mcp_server
● MCP · relevance 64%
no public price
magictex
● MCP · relevance 64%
no public price
roslyn_codelens_mcp
● MCP · relevance 64%
no public price
frida_mcp
● MCP · relevance 64%
no public price
chiasmus
● MCP · relevance 64%
no public price
SaSame Research
● MCP · relevance 64%
no Pro plan
entry $11/mo
context_engineering
● MCP · relevance 64%
$29/mo Pro
0% vs Pro median
pare
● MCP · relevance 64%
no public price
FFrameworks18Ranked by relevance
boffin
● FRAMEWORK · relevance 68%
no public price
tardygrada
● FRAMEWORK · relevance 67%
no public price
bitloops
● FRAMEWORK · relevance 67%
no public price
h5i
● FRAMEWORK · relevance 66%
no public price
arc_protocol
● FRAMEWORK · relevance 66%
no public price
scholaraio
● FRAMEWORK · relevance 66%
no public price
master_orchestrator
● FRAMEWORK · relevance 66%
no public price
ChipAgents
● FRAMEWORK · relevance 66%
no public price
spec_driven_develop
● FRAMEWORK · relevance 66%
no public price
learnship
● FRAMEWORK · relevance 66%
no public price
mycelium
● FRAMEWORK · relevance 65%
no public price
chunkhound
● FRAMEWORK · relevance 65%
no public price
boucle_framework
● FRAMEWORK · relevance 65%
no public price
cyber_ming_protocol
● FRAMEWORK · relevance 65%
no public price
loop_engineering
● FRAMEWORK · relevance 65%
no public price
ouro_loop
● FRAMEWORK · relevance 64%
no public price
AI DevKit
● FRAMEWORK · relevance 64%
no public price
skillsaw
● FRAMEWORK · relevance 64%
no public price
OOther5Ranked by relevance
LOCUS Engine
● OTHER · relevance 67%
no public price
proofreader_skill
● OTHER · relevance 66%
no public price
codebase_knowledge_builder
● OTHER · relevance 65%
no public price
jfrog_skills
● OTHER · relevance 64%
no public price
openlore
● 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.