Skip to content
View Dewars30's full-sized avatar
7 followers · 25 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinaire

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinaire

Highlights

  • Pro

Organizations

@Fulcrum-Governance

Block or report Dewars30

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Dewars30/README.md

Tony Diefenbach

Founder-builder at Fulcrum, building control and evidence infrastructure for autonomous agent actions.

I work across Go, Python, Lean, TypeScript, and Rust. My current focus is pre-execution policy, trust-aware routing, circuit breaking, auditable decision records, and machine-checkable claims.

Products for small businesses

I build and run working products for small businesses as well as developer infrastructure. Proximo is live software for B2B invoice follow-up, helping small teams get paid while keeping them in control of the customer relationship.

Current work

Project What it does Stack
Fulcrum Boundary Governs routed agent actions before privileged tools execute and emits hash-verifiable decision records. Go
Fulcrum Trust Adaptive trust evaluation, circuit breaking, and trust-aware routing for AI agent systems. Python
Fulcrum Proofs Lean 4 proofs, claim ledgers, and formal artifacts for the Fulcrum control model. Lean
NotchOS A macOS control surface for monitoring and approving work across AI coding agents. Rust, TypeScript
Sous Audit An XPRIZE R&D prototype for AI-assisted accounts-payable reconciliation. TypeScript

Working principles

  • Govern consequential actions before execution, not after.
  • Keep public claims aligned with implementations, tests, and evidence.
  • Prefer small, typed control planes over broad orchestration layers.

Palm Springs, California · fulcrumlayer.io · Proximo · LinkedIn

Pinned Loading

  1. Fulcrum-Governance/Fulcrum-Boundary Fulcrum-Governance/Fulcrum-Boundary Public

    The action boundary for routed agent tools. See what your AI tools can do; block what they should not.

    Go

  2. Fulcrum-Governance/Fulcrum-Trust Fulcrum-Governance/Fulcrum-Trust Public

    Trust engine for the Fulcrum governance kernel: Beta-distribution scoring, circuit breaking, and LangGraph integration.

    Python

  3. Fulcrum-Governance/Fulcrum-Proofs Fulcrum-Governance/Fulcrum-Proofs Public

    Formal core of the Fulcrum governance kernel: Lean 4 proofs, claim ledger, and theorem inventory.

    Lean

  4. notchos notchos Public

    macOS control surface for monitoring, approvals, session history, and cost across AI coding agents.

    TypeScript

  5. sous-audit sous-audit Public

    AI-assisted accounts-payable reconciliation R&D prototype for independent restaurants.

    TypeScript