{"page":1,"limit":100,"total":10,"total_catalog":67759,"catalog_meta":{"core_certified":58629,"community_indexed":9130,"aggregate_tracked":64349,"total_all":132108,"tiers_doc":"core = evidence-gated (adoption/verification/age) | community = indexed with weak signal, trust<=55 | aggregate = tracking-only inventory (see /api/community)"},"total_pages":1,"has_next":false,"has_prev":false,"sources":{"github":12148,"npm-registry":24788,"pypi":14311,"smithery":6195,"official-registry":9076,"crates":750,"docker":491},"skills":[{"id":"mn-real-leanlspmcp","name":"lean-lsp-mcp","slug":"real-lean-lsp-mcp","description":"Lean Theorem Prover MCP","category":"Developer Tools","price":0,"free":true,"sentinel_score":0,"review_status":"auto-scanned","risk_level":"red","install":"pip install lean-lsp-mcp","author":"oOo0oOo","version":"1.0.0","tags":["mcp","real","python","ooo0ooo"],"source":{"type":"github","url":"https://github.com/oOo0oOo/lean-lsp-mcp","note":"Real MCP server. 435 stars."},"indexed_at":"2026-09-10","tier":"core","trust_score_100":40,"badge_url":"https://www.marketnow.site/api/badge/real-lean-lsp-mcp.svg","page_url":"https://www.marketnow.site/s/real-lean-lsp-mcp"},{"id":"mn-real-promptimprover","name":"Promptimprover","slug":"real-promptimprover","description":"MCP-first prompt governance, refinement, and engineering evidence correlation","category":"Developer Tools","price":0,"free":true,"sentinel_score":0,"review_status":"auto-scanned","risk_level":"yellow","install":"git clone https://github.com/Coding-Autopilot-System/Promptimprover","author":"Coding-Autopilot-System","version":"1.0.0","tags":["mcp","real","typescript","coding-autopilot-system"],"source":{"type":"github","url":"https://github.com/Coding-Autopilot-System/Promptimprover","note":"Real MCP server. 0 stars. Language: TypeScript."},"indexed_at":"2026-09-10","tier":"core","trust_score_100":40,"badge_url":"https://www.marketnow.site/api/badge/real-promptimprover.svg","page_url":"https://www.marketnow.site/s/real-promptimprover"},{"id":"mn-gh2-00533","name":"mcp-logic","slug":"mcp-logic-0533","description":"Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc","category":"Monitoring","price":0,"free":true,"sentinel_score":10,"review_status":"auto-scanned","risk_level":"yellow","install":"git clone https://github.com/angrysky56/mcp-logic","author":"angrysky56","version":"0.0.0","tags":["mcp","github","ai","claude-3-5-sonnet","llm"],"source":{"type":"github","url":"https://github.com/angrysky56/mcp-logic","note":"Indexed via GitHub search + awesome-mcp-servers curation. Sentinel Index Heuristics applied (stars, age, activity, typosquat, injection).","stars":46,"language":"Python","last_push":"2026-08-15T00:20:21Z"},"indexed_at":"2026-09-10","tier":"core","trust_score_100":88,"badge_url":"https://www.marketnow.site/api/badge/mcp-logic-0533.svg","page_url":"https://www.marketnow.site/s/mcp-logic-0533"},{"id":"mn-py2-09411","name":"mcp-z3-prover","slug":"mcp-z3-prover","description":"MCP server exposing Z3 solver API","category":"Version Control","price":0,"free":true,"sentinel_score":9,"review_status":"auto-scanned","risk_level":"red","install":"uvx mcp-z3-prover","author":"Darío Clavijo <clavijodario","version":"0.1.0","tags":["mcp","python"],"source":{"type":"pypi","url":"https://pypi.org/project/mcp-z3-prover/","note":"Indexed from PyPI with Sentinel Index Heuristics (package age, GitHub repo link, curated lists, injection markers). Downloads from pypistats when available.","repo_url":"https://github.com/daedalus/mcp-z3-prover"},"indexed_at":"2026-09-10","tier":"core","trust_score_100":90,"badge_url":"https://www.marketnow.site/api/badge/mcp-z3-prover.svg","page_url":"https://www.marketnow.site/s/mcp-z3-prover"},{"id":"mn-py2-02836","name":"folprover-mcp","slug":"folprover-mcp","description":"MCP server for First-Order Logic provers (Vampire, E)","category":"Version Control","price":0,"free":true,"sentinel_score":8,"review_status":"auto-scanned","risk_level":"red","install":"uvx folprover-mcp","author":"David Xu","version":"0.1.0","tags":["mcp","python"],"source":{"type":"pypi","url":"https://pypi.org/project/folprover-mcp/","note":"Indexed from PyPI with Sentinel Index Heuristics (package age, GitHub repo link, curated lists, injection markers). Downloads from pypistats when available.","repo_url":"https://github.com/NewJerseyStyle/folprover-mcp"},"indexed_at":"2026-09-10","tier":"core","trust_score_100":80,"badge_url":"https://www.marketnow.site/api/badge/folprover-mcp.svg","page_url":"https://www.marketnow.site/s/folprover-mcp"},{"id":"mn-py2-05204","name":"iflow-mcp_ooo0ooo-lean-lsp-mcp","slug":"iflow-mcp-ooo0ooo-lean-lsp-mcp","description":"Lean Theorem Prover MCP","category":"Version Control","price":0,"free":true,"sentinel_score":8,"review_status":"auto-scanned","risk_level":"red","install":"uvx iflow-mcp_ooo0ooo-lean-lsp-mcp","author":"Oliver Dressler <hey","version":"0.20.0","tags":["mcp","python"],"source":{"type":"pypi","url":"https://pypi.org/project/iflow-mcp_ooo0ooo-lean-lsp-mcp/","note":"Indexed from PyPI with Sentinel Index Heuristics (package age, GitHub repo link, curated lists, injection markers). Downloads from pypistats when available.","repo_url":"https://github.com/oOo0oOo/lean-lsp-mcp"},"indexed_at":"2026-09-10","tier":"core","trust_score_100":80,"badge_url":"https://www.marketnow.site/api/badge/iflow-mcp-ooo0ooo-lean-lsp-mcp.svg","page_url":"https://www.marketnow.site/s/iflow-mcp-ooo0ooo-lean-lsp-mcp"},{"id":"mn-ofr-01842","name":"prover","slug":"prover","description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","category":"Developer Tools","price":0,"free":true,"sentinel_score":8,"review_status":"auto-scanned","risk_level":"yellow","install":"https://prover.axiomatic-ai.com/mcp/","author":"com.axiomatic-ai","version":"0.1.0","tags":["mcp"],"source":{"type":"official-registry","url":"https://registry.modelcontextprotocol.io/v0.1/servers/com.axiomatic-ai/prover","registry_name":"com.axiomatic-ai/prover","status":"active","remotes":[{"type":"streamable-http","url":"https://prover.axiomatic-ai.com/mcp/"}],"published_at":"2026-02-23T22:16:23.957805Z"},"indexed_at":"2026-09-10","tier":"core","trust_score_100":85,"badge_url":"https://www.marketnow.site/api/badge/prover.svg","page_url":"https://www.marketnow.site/s/prover"},{"id":"mn-cr-00277","name":"shopify-approver-mcp-server","slug":"shopify-approver-mcp-server","description":"MCP server for AI agent integration (Claude Code, Windsurf, OpenCode)","category":"AI/ML","price":0,"free":true,"sentinel_score":7,"review_status":"auto-scanned","risk_level":"yellow","install":"cargo install shopify-approver-mcp-server --locked","author":"unknown","version":"0.0.0","tags":["mcp"],"source":{"type":"crates","url":"https://github.com/umerkhan95/shopify-app-approver","downloads":20},"indexed_at":"2026-09-10","tier":"core","trust_score_100":56,"badge_url":"https://www.marketnow.site/api/badge/shopify-approver-mcp-server.svg","page_url":"https://www.marketnow.site/s/shopify-approver-mcp-server"},{"id":"mn-pyc-05577","name":"iflow-mcp_mcp_logic","slug":"iflow-mcp-mcp-logic","description":"MCP server for logical reasoning using Prover9","category":"Monitoring","price":0,"free":true,"sentinel_score":5,"review_status":"auto-scanned","risk_level":"red","install":"uvx iflow-mcp_mcp_logic","author":"unknown","version":"0.1.0","tags":["mcp"],"source":{"type":"pypi","url":"https://pypi.org/project/iflow-mcp_mcp_logic/"},"indexed_at":"2026-09-10","tier":"community","trust_score_100":40,"badge_url":"https://www.marketnow.site/api/badge/iflow-mcp-mcp-logic.svg","page_url":"https://www.marketnow.site/s/iflow-mcp-mcp-logic"},{"id":"mn-pyc-06319","name":"iflow-mcp_z3","slug":"iflow-mcp-z3","description":"Z3 Theorem Prover MCP Server","category":"Developer Tools","price":0,"free":true,"sentinel_score":5,"review_status":"auto-scanned","risk_level":"red","install":"uvx iflow-mcp_z3","author":"unknown","version":"1.0.0","tags":["mcp"],"source":{"type":"pypi","url":"https://pypi.org/project/iflow-mcp_z3/"},"indexed_at":"2026-09-10","tier":"community","trust_score_100":40,"badge_url":"https://www.marketnow.site/api/badge/iflow-mcp-z3.svg","page_url":"https://www.marketnow.site/s/iflow-mcp-z3"}],"_links":{"self":"/api/skills?page=1&limit=100&q=prover","next":null,"prev":null}}