Skip to content

Magnum dependency DAG

Parameters

Field	Required	Default	Description
`proof_text`	Yes	—	Proof or argument to analyze
`identify_axioms`	No	`true`	Identify foundational axioms
`check_circular`	No	`true`	Detect circular dependencies

Usage

REST
MCP

curl -X POST https://api.50c.ai/tools/magnum_dependency_dag \
  -H "Authorization: Bearer cv_YOUR_KEY" \
  -H "Content-Type: application/json" \
  -d '{"proof_text":"Assume n is odd. Then n = 2k+1. Thus n^2 = 4k^2+4k+1 is odd.","identify_axioms":true,"check_circular":true}'

Use tool name magnum_dependency_dag with arguments.proof_text.

Implementation note

Server module: dependency_dag_v2.py (v2 analyzer: schema normalization, input classification, cycle classification, verbosity cap).

bCalc — mathematical discovery
Skeptic POV — adversarial review
All tools