Borrowing it
Nothing to install: this file belongs to tobiasosborne/alethfeld. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/tobiasosborne/alethfeld/legacy/.claude/commands/add-node.mdgit 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/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/commands/tobiasosborne/alethfeld/add-node"><img src="https://agentmods.dev/badge/commands/tobiasosborne/alethfeld/add-node.svg" alt="Reviewed on agentmods" width="80" 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.1 | $0.00008 | $0.00823 |
| Opus 5.5 | $0.00003 | $0.00329 |
| Sonnet 5.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 2mo 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.
- 2mo 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 5mo ago), licensed MIT. It adds 8 tokens to every session and 823 once invoked, about $0.0000 per session on Opus 5.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.
add-node compared with commands from other repositories
| Mod | Type | Stars | Last push | Licence | Scan | Tokens | Works with |
|---|---|---|---|---|---|---|---|
| add-nodetobiasosborne/alethfeld | Command | 144 | 5mo ago | MIT | A | 8 | Claude Code |
| verify-mathflonat/flonat-research | Command | 149 | 3d ago | MIT | A | 81 | Claude Code |
| difffa-mc/vibe-cading | Command | 8 | 24d ago | AGPL-3.0 | A | 14 | Claude Code |
| arg-diagramMasqiller/ARG-RESEARCHER-V4.1 | Command | 6 | 5mo ago | MIT | A | 14 | Claude Code |
| plotzhouziyue233/great-econometrics | Command | 8 | 6mo ago | none | A | 44 | Claude Code |
| graphite-morphology-classifyDaxxSec/cognitropy-lab | Command | 1 | 4mo ago | none | A | 0 | Claude Code |
| checklistgithub/spec-kit | Command | 148k | yesterday | MIT | A | 13 | Claude Code |