
Local-first MCP server, CLI, and TypeScript SDK that gives AI agents attributed evidence records, Z3-based formal checks, and prerequisite planning. Runs locally with Node.js and includes an experimental image-to-3D workflow.
Prices and medians update for the tier you select.
Ranked by how closely each one matches NOETRA'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.