Results for “proof”
10 skills
sirnosh Bmad Ml Sage
Provides PhD-level mathematical analysis for machine learning, including optimization theory, statistical learning theory, and convergence proofs.
0 · bundle
shenmuxing Analysis Plan
Turn a theory-first research idea into a proof-oriented research plan. Use after idea-creator-analysis, or when the user asks for theorem targets, assumptions, proof obligations, impossibility routes, analysis validation, or a non-experimental plan.
2 · bundle
shenmuxing Idea Creator Analysis
Generate and rank theory-first or proof-oriented research ideas. Use when the user wants non-experimental research ideas, theoretical methods, proof programs, theorem candidates, impossibility results, convergence/sample-complexity analyses, or "analysis" variants of idea creation.
2 · bundle
More results
curiositech Lakatos
Philosophy of science methodology examining how research programs evolve through proofs and refutations
10 · bundle
lionelndong Claims Links Product Proof
Verify the article’s factual, product, citation, and link integrity before visual production.
0
drnabeelkhan Source Checker Verify A Claim And Rate The Evidence
Verifies a claim by finding primary sources and rates the evidence as supported, mixed, unsupported, or unverifiable, with citations and what would change the verdict.
2
samyakjhaveri Paper Claim Audit
Verifies that every number, comparison, and scope claim in a research paper matches raw result files, using a fresh cross-model reviewer with no prior context to prevent confirmation bias.
0
joshuashepherd Affiliation Scrape
Researches a leader's organizational affiliations and fetches logos, producing a JSON record for logo strips and social-proof sections.
1
sdiamante13 Tw Codebase Doctrine
Compile deep repository evidence into artifact-bound correctness doctrine, including authority/law/proof maps, owned invariants, failure archaeology, and knowledge routing, with an optional minimal repository-specific skill portfolio.
7
brycewang-stanford Formula Derivation
Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document. Use when the derivation target is not yet fully fixed, the main object still needs to be chosen, or the user needs a coherent derivation package rather than a finished theorem proof.
1k