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

Market around rocq-ltac-skills

An open-source skill suite for AI coding agents that supports program verification, formal semantics proofs, and error repair using Rocq (formerly Coq) and Vanilla Ltac.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select. Caution: thin market — treat statistics as indicative.

Compare at
rocq-ltac-skills · Pro
No Pro plan
—
Pro-provider median
—
insufficient comparable pricing
vs Pro providers
No comparison
rocq-ltac-skills doesn't sell Pro
ⓘ Comparisons are same provider type (provider) and same buyer tier (Pro). Never across tiers.
Market density
71st pctile
367 competing vendors
Comparable listings · 30d
—
Price spectrum · Pro plans · 1 of 2 providers priced · log scale · $50 → $50/mo
MCP servers◻ shaded = middle 50% · line = median (all types)rocq-ltac-skills has no comparable Pro price — not plotted

Products in this market

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

OOther15Ranked by similarity
rocq-ltac-skillsthis listing
● OTHER
no public price
Proofreader Skill
● OTHER79% similar
no public price
Eval Skills
● OTHER76% similar
no public price
Ponytail
● OTHER75% similar
no public price
Update Helper Skills
● OTHER75% similar
no public price
podori
● OTHER75% similar
no public price
KeySkills
● OTHER74% similar
no public price
Agent Skills 4
● OTHER74% similar
no public price
Joomen
● OTHER74% similar
no public price
Robium
● OTHER74% similar
no public price
Manus Skills
● OTHER73% similar
no public price
techne
● OTHER73% similar
no public price
KingmaDoc
● OTHER73% similar
no public price
Lakehouse Agent Skills
● OTHER73% similar
no public price
Honey (I Shrunk the AI)
● OTHER72% similar
no public price
MMCP servers16Ranked by similarity
AgentSeed
● MCP76% similar
no public price
Parry
● MCP75% similar
no public price
Search Code MCP
● MCP74% similar
no public price
ia-qa.com/mcp llm and RAG testing - Dev/QA toolbox
● MCP74% similar
no public price
Skill Search
● MCP74% similar
no Pro plan
entry $49/mo
Forja MCP
● MCP73% similar
no public price
Miter
● MCP73% similar
no public price
CO
code-kb
● MCP73% similar
no public price
Mithril
● MCP73% similar
no public price
Octocode
● MCP73% similar
$50/mo Pro
Agent LSP Lint Toolkit
● MCP73% similar
no public price
LOCUS Engine
● MCP73% similar
no public price
Corulix
● MCP73% similar
no public price
lean4-lsp-mcp
● MCP73% similar
no public price
Precision-MCP
● MCP72% similar
no public price
TestHeal
● MCP72% similar
no public price
AAgents15Ranked by similarity
Baize
● AGENT75% similar
no public price
Zap Coding Agent
● AGENT74% similar
no public price
Clawcodex
● AGENT74% similar
no public price
Qwen Code
● AGENT73% similar
no public price
Kage
● AGENT73% similar
no public price
Coding Agent
● AGENT73% similar
no public price
hrdr
● AGENT73% similar
no public price
tilde
● AGENT73% similar
no public price
Code Buddy
● AGENT73% similar
no public price
Zero Terminal Agent
● AGENT73% similar
no public price
Grok Unleashed
● AGENT73% similar
no public price
xzero
● AGENT72% similar
no public price
grok-cli
● AGENT72% similar
no public price
Agent Sven
● AGENT72% similar
no public price
BeeCode
● AGENT72% similar
no public price
FFrameworks4Ranked by similarity
Grandpa
● FRAMEWORK74% similar
no public price
MobiAI-Core
● FRAMEWORK73% similar
no public price
trusty-tools
● FRAMEWORK73% similar
no public price
Boffin
● FRAMEWORK73% similar
no public price

Thin market — few comparable priced products; treat statistics as indicative.