AgentDish directory
Accepted listings with this tag.
A Python filter layer for LLM apps that evaluates responses against a Lean-verified Scherf logic backend and can pass, flag, correct, or block output.
