
An Agent Skills-compatible proofreading skill for AI coding tools. Reviews code and documents, with formal-verification integrations for C/ACSL, Python, Rust, Java, and C++.
Prices and medians update for the tier you select.
Agents cost 0.1× MCP servers at the Pro tier.
Ranked by how closely each one matches Proofreader Skill's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.
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.