Results for tool_forge

Foundation types for an LLM-agent workflow framework

Universal coordination engine for AI-powered development

Production-ready VCS and orchestration engine for DX tools with Git-like versioning, dual-watcher architecture, traffic branch system, and component injection

Reasoning tools for LLM debugging - checkpointing, hypotheses, contradictions

Battle-tested financial math for AI. 173 Excel-compatible functions validated against Gnumeric & R. MCP integration, Monte Carlo, Decision Trees, Real Options.

Piqued Forge — Lifelong practitioner environment.

A tool to scan the organizations behind a repository's stargazers.

Forge — Internet-native programming language with natural syntax, bytecode VM, and built-in HTTP/database/crypto

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Easy CLI tool for creating projects from templates

command-line tool for creating bare-metal projects that use metal

Feature-rich, keyboard-first TUI for Foundry users