{
 "schema_version": 1,
 "generated": "2026-10-26",
 "id": "microsoft-argusagent--search-for-counterexamples-with-jacobian-lab",
 "repo": "microsoft/ArgusAgent",
 "repo_url": "https://github.com/microsoft/ArgusAgent",
 "repo_slug": "microsoft-argusagent",
 "title": "Search for mathematical counterexamples with the Counterexample Lab",
 "page_title": "How to search for mathematical counterexamples with the Counterexample Lab with Argus Agent",
 "summary": "Use the live Counterexample Lab and the Jacobian MCP bridge to run counterexample research through Argus.",
 "who": "A researcher testing a conjecture who wants an agent to propose and check candidate counterexamples.",
 "problem": "Checking many candidate counterexamples by hand is slow, and the checks need a dedicated environment separate from ordinary code work.",
 "outcome": "A set of candidate counterexamples checked in the Counterexample Lab, with the Reviewer's verdict on each result.",
 "steps": [
  "Complete the basic install: Node.js 22.12 or later and one authenticated Agent CLI.",
  "Open the setup guide at docs/counterexample-lab-jacobian.md and follow it to start the Counterexample Lab and the isolated Jacobian MCP bridge.",
  "Run `argus` and describe the conjecture and the search space to the Planner.",
  "Let the Engineer run the candidate checks and review the Reviewer's verdicts.",
  "Use `argus --status` to confirm which candidates are verified and which are blocked."
 ],
 "agent_prompt": "Using the microsoft/ArgusAgent repo, set up the Counterexample Lab from docs/counterexample-lab-jacobian.md and search for counterexamples to the conjecture <conjecture statement>. Expect a list of candidate counterexamples with a Reviewer verdict for each. Verify that every reported counterexample was checked by the lab, not only proposed by the model.",
 "agents": [
  "claude-code",
  "codex",
  "cursor"
 ],
 "difficulty": "Advanced",
 "time": "1 hour 30 minutes",
 "basis": "readme",
 "caveat": "The Jacobian bridge and lab setup live in a separate guide, so the steps here depend on that document, which this summary did not read in full.",
 "category": "Software and DevOps",
 "tags": [
  "Software and DevOps"
 ],
 "lang": "python",
 "requirements": [
  "Node.js 22.12 or later",
  "One authenticated Agent CLI, such as GitHub Copilot CLI, OpenAI Codex CLI, or Claude Code",
  "A project folder you are willing to let the agents modify"
 ],
 "risk": "none",
 "seen_in_the_wild": false,
 "mentioned_publicly": false,
 "risks": [],
 "best": false,
 "score": 0.9,
 "evidence": [],
 "url": "https://dedupedai.com/use-cases/microsoft-argusagent/search-for-counterexamples-with-jacobian-lab/",
 "md": "https://dedupedai.com/use-cases/microsoft-argusagent/search-for-counterexamples-with-jacobian-lab/index.md",
 "disclaimer": "Deduped lists open-source repositories that belong to other people. We do not own, maintain, audit, or vouch for any of them, and a repo appearing here is not an endorsement or a safety check. The use cases, steps, and prompts are written by AI and may be incomplete, outdated, or just wrong. Where a use case is marked \"Seen in the wild\", we link to public posts where someone described something similar, but we have not verified those posts and the use case itself is still our AI's own write-up. Use all of this at your own risk. Only run code, commands, or agents on systems and accounts you are authorized to use, and read the code and every command before you run it, especially anything that touches credentials, files, or the network. Nothing here is professional, security, legal, or financial advice. All trademarks and project names belong to their respective owners, and their use here does not imply affiliation. Content is provided as is, without warranties of any kind. Found a mistake, a safety problem, or something you want removed? Email hello@dedupedai.com and we will look at it promptly.",
 "api": "https://dedupedai.com/api/v1/usecases/microsoft-argusagent--search-for-counterexamples-with-jacobian-lab.json",
 "api_version": "v1"
}