Is the mini-ork MCP server actively maintained?

The mini-ork MCP server was last committed 7d ago and has 3 contributors. Issue health: 14% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

mini-ork MCP Server

Name: SourceShift/mini-ork
Rating: 3.4 (1 reviews)
Author: SourceShift

SourceShift/mini-ork

Score: 59.2 Rank #6586 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/SourceShift--mini-ork)](https://agentrank-ai.com/tool/SourceShift--mini-ork/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of SourceShift/mini-ork? Claim this listing →

Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with generated invariants in a Docker sandbox, and returns PROVEN / REFUTED / UNVERIFIED with a JSON certificate. Part of a verifier-gated, multi-model agent runtime.

Add AgentRank to Claude Code Discover and compare tools like SourceShift/mini-ork — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

SourceShift/mini-ork is a Python tool licensed under Apache-2.0. Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with generated invariants in a Docker sandbox, and returns PROVEN / REFUTED / UNVERIFIED with a JSON certificate. Part of a verifier-gated, multi-model agent runtime.

Ranked #6586 out of 24846 indexed tools.

Actively maintained with commits in the last week.

Ecosystem

Python Apache-2.0

Score Breakdown

Stars 15% 30

30 stars → early stage

Freshness 25% 7d ago

Last commit 7d ago → actively maintained

Issue Health 25% 14%

1/7 issues closed → many open issues

Contributors 10% 3

3 contributors → small team

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 9

Description Detailed

License Apache-2.0

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Issue Health high impact

You have 6 open vs 1 closed issues — triaging stale issues improves health

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/v1/badge/SourceShift--mini-ork)](https://agentrank-ai.com/tool/SourceShift--mini-ork/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/SourceShift--mini-ork/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/SourceShift--mini-ork" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="SourceShift/mini-ork"></script>

Details

Stars: 30
Forks: 9
Open Issues: 6
Closed Issues: 1
Contributors: 3
Dependents: —
Language: Python
License: Apache-2.0
Last Commit: 7d ago

Matched Queries

topic:mcp

See alternatives to SourceShift/mini-ork → Browse mcp-server category → Best MCP Server MCP servers → Compare SourceShift/mini-ork → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →