contribution-review
Skill0 starsChanged 33 days agoMITView on GitHub
Assess the mathematical contribution and originality of proved or claimed results by comparing their exact statements with primary literature. Use for novelty, significance, or publication-positioning questions; mathematical proof auditing remains separate.
1 other project uses a version of this.
Adopted by
Most recently taken up by
- djagya/beyond-promptingtheir own version, first seen Nov 1, 2026
Other versions1 project uses a version of this.
Word for word · 0
None found.
Edited · 0
None found.
Wrote their own version · 1
- djagya/beyond-prompting★ 0same name
How matches are found. Word for word: the exact same text. Edited: shares passages with this file (“99% same” means 99% of its five-word phrases also appear here; 10% or more counts). Their own version: similar meaning, or, weakest, the same name. We can’t tell which project had it first. Projects are counted among the 200 most-starred candidates, and mentions are links to the repository we found, up to 50 per site, so both counts are a floor.
In this repository7 other files it gives its agents.
- lean-formalizationSkill
- lean-verificationSkill
- proof-auditSkill
- research-briefSkill
- research-closeoutSkill
- research-momentumSkill
- research-orchestrationSkill
The file
Files
Contribution Review
Identify what the work actually adds. Keep correctness, novelty, significance, and external acceptance as separate questions.
Compare at theorem level
Read the manuscript's principal statements and the available proof status. Seek the closest existing theorem, not merely papers with similar titles. Use primary papers, author manuscripts, or authoritative mathematical references. If source access fails, state the exact unavailable comparison and continue with what can be established.
For each principal result compare:
- the old and new hypotheses and quantifiers;
- the conclusion, constants, domains, and parameter range;
- whether the mechanism is new, an extension, a specialization, or a reformulation;
- whether the result improves an unconditional bound or supplies a reusable construction;
- which dependency is still unproved.
A result can be correct without being original, original without solving the main problem, or useful without being a breakthrough. Absence of a search hit does not establish priority. Conversely, an old general mechanism does not settle the novelty of a specific stronger local or quantitative theorem.
Separate completed literature comparisons from outstanding priority questions. Do not present "not independently reviewed" as a proof gap. If correctness needs examination, route only that task to proof-audit.
Output
Lead with the strongest supported contribution and the precise remaining uncertainty. Give theorem-specific primary citations close to the comparison they support. If asked to rank discoveries, include only as many entries as satisfy the user's criterion; distinguish possible candidates from confirmed discoveries.
Assess length by what a reader needs to identify and reconstruct the contribution. Suggest a focused article when the central result is obscured by multiple exploratory routes, rather than treating page count as evidence of invalidity. Compare formalization and numerical certificates by what they establish, not by their presence alone.
For publication recommendations, hand the comparison to research-closeout. Do not publish, contact researchers, or submit material solely because a review recommends doing so.
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

