Skip to content
Back to the index

ltl-harness

PyPIInfrastructure

No liveness check has reached it yet; it is registered on GitHub and PyPI and has been in the index since 9 Oct 2026. How this is checked

ltl-harness is an MIT-licensed Python package that enforces temporal-logic constraints on Claude Agent SDK agents. It compiles LTL formulas into colored automata and applies them through agent hooks for runtime verification.

Inferred · not functionally tested

Open SourceMITCLISelf-hostedAPI
Visit PyPI

Overview

5 features

Purpose: Preventing AI agents from violating temporal-logic constraints during execution.

Inferred · not functionally tested

Audience: developers building Claude Agent SDK agents

Inferred · not functionally tested

Functions: agents

Inferred · not functionally tested

Interfaces: API: indicated (inferred, not tested) · MCP: unknown · CLI: indicated (inferred, not tested) · Self-hosting: indicated (inferred, not tested)

Recorded constraints: pricing: open_source · license: MIT · platforms: CLI · deployment: cli, self_hosted, api_only

Constraint provenance is unknown; confirm requirements with the publisher.

Record sources: pypi.org · github.com. These links do not verify the individual claims.

ltl-harness is an AI security & guardrails project. Inferred · not functionally tested: It focuses on preventing AI agents from violating temporal-logic constraints during execution. Inferred · not functionally tested: ltl-harness is an open-source project aimed at developers building Claude Agent SDK agents. Basis unknown · not verified: ltl-harness is open source under the MIT license. Basis unknown · not verified: It runs on the command line and API, and it can be self-hosted.

askalot-io builds and maintains ltl-harness, and it first shipped in 2026. Development happens publicly on GitHub with 8 commits in the last 90 days. Inferred · not functionally tested: Among its 5 catalogued features are LTL guardrails, colored automata, and agent hooks. Inferred · not functionally tested: Catalogued interfaces include a public API.

Summary written by a language model from the project’s public pages.

Tasks: Inferred · not functionally tested

  • LTL guardrails
  • Colored automata
  • Agent hooks
  • Runtime verification
  • Temporal constraints

Topics: Inferred · not functionally tested

Tags
temporal-logicagent-guardrailsruntime-verificationcolored-automata
AI capabilities
TextCode
Inference: Local

JSON profile · Text profile · Access guide

Built with & integrations

AI providers
anthropic
Written with
Claude Code
Connectors
API
Runs on
CLISelf-hostedAPI-only
Written with — evidence
Claude Code
commit 0181d967af91 · since Jul 2026

Trust & compliance

License
MIT
Public signals
HTTPSOpen SourceGitHubActive maintenance

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed9 Oct · 21:19 UTC
    ltl-harness seen via PyPI Bulk Enumerator
    Source: PyPI Bulk Enumerator · Open

Frequently asked questions about ltl-harness

What does ltl-harness do?
Inferred · not functionally tested: Ltl-harness focuses on preventing AI agents from violating temporal-logic constraints during execution. It is catalogued under AI security & guardrails on PulseGate.
Who should use ltl-harness?
Inferred · not functionally tested: ltl-harness is an open-source project built for developers building Claude Agent SDK agents.
Is ltl-harness free?
Basis unknown · not verified: Yes — ltl-harness is open source under the MIT license and free to use.
What platforms does ltl-harness run on?
Basis unknown · not verified: ltl-harness runs on the command line and API. It can also be self-hosted.
Is ltl-harness still maintained?
The GitHub repository shows 8 commits in the last 90 days.
Who develops ltl-harness?
ltl-harness is developed by askalot-io.
When did ltl-harness launch?
ltl-harness first shipped in 2026.
Is ltl-harness open source?
Basis unknown · not verified: Yes — ltl-harness is open source under the MIT license, developed on GitHub.

Similar projects

Closest matches by what these projects do