Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add commands/tobiasosborne/alethfeld/add-nodegit clone --depth 1 https://github.com/tobiasosborne/alethfeldWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/commands/tobiasosborne/alethfeld/add-node)<a href="https://agentmods.dev/commands/tobiasosborne/alethfeld/add-node"><img src="https://agentmods.dev/badge/commands/tobiasosborne/alethfeld/add-node.svg" alt="Measured on agentmods" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00008 | $0.00823 |
| Opus 5 | $0.00004 | $0.00411 |
| Sonnet 5 | $0.00002 | $0.00165 |
| Haiku 4.5 | $0.00001 | $0.00082 |
Grade A, and why
add-node scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 5d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 94 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Add Node to Proof Graph
Add a new node (claim, assumption, definition, etc.) to a semantic proof graph.
When to Use
Use this command when the Prover needs to add a new step to a proof, including:
- Adding assumptions at the start of a proof
- Adding definitions
- Adding claims (proof steps)
- Adding local assumptions for sub-proofs
- Adding QED nodes to conclude sub-proofs
Invocation
./cli/scripts/alethfeld add-node <graph.edn> <node.edn>
Or with stdin:
echo '{:id :1-abc ... }' | ./scripts/alethfeld add-node --stdin <graph.edn>
Input Format (node.edn)
{:id :1-abc123 ; Format: :<depth>-<6-hex>
:type :claim ; :assumption, :definition, :claim, :local-assume, :local-discharge, :qed
:statement "The claim..." ; LaTeX string
:dependencies #{:A1 :1-def456} ; Set of node IDs this step depends on
:scope #{} ; Set of active local assumptions (usually #{})
:justification :modus-ponens ; Inference rule
:depth 1 ; Nesting level (0 for assumptions/definitions)
:display-order 5 ; Display position in proof
;; Optional fields
:parent :1-root ; Parent node ID (for sub-proofs)
:status :proposed ; Default, can also be :verified, :admitted
;; Type-specific fields
:assumption-label :A1 ; For :assumption type
:introduces "x" ; For :local-assume type
:discharges :2-assume1 ; For :local-discharge type
:lemma-id "L1-fourier" ; For :lemma-ref type
:external-id "ext1" ; For :external-ref type
}
Valid Justifications
:assumption,:local-assumption,:discharge:definition-expansion,:substitution:modus-ponens,:universal-elim,:universal-intro:existential-intro,:existential-elim:equality-rewrite,:algebraic-rewrite:case-split,:induction-base,:induction-step:contradiction,:conjunction-intro,:conjunction-elim:disjunction-intro,:disjunction-elim,:implication-intro:lemma-application,:external-application:admitted,:qed
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 5d ago First seen · 94 lines · 8 tokens per session scan A 287b635745e1
add-node is a command published in the GitHub repository tobiasosborne/alethfeld (144 stars, last pushed 3mo ago), licensed MIT. It adds 8 tokens to every session and 823 once invoked, about $0.0000 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other commands, from other repositories
master_analysis
Run comprehensive 5-phase analysis across labs, genetics, and protocols.
render-figures
Compile all .tex and .typ figure files in a directory.
replication-package
Scaffold or audit a social-science replication package at a target directory, and audit the manuscript and its archived research objects against FAIR principles.
diff
Quantitative volume comparison between a CadQuery model and a reference STEP file.
arg-diagram
ARG academic-paper diagram mode — standalone structural & conceptual diagram generation.
simulation-calibrator
Test and refine simulation accuracy with validation loops, bias detection, and continuous improvement frameworks.