Proofline

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

03:00

2026-09-03

dev.to

developer-tools

Building an AST Code Verifier Without NetworkX, GitPython, or Any Dependencies

A developer built Proofline, a pure Python static analysis tool for the Zero Dependency Hackathon 2026, using only the standard library. The tool parses code with the AST module, builds a caller graph…

15:20

2026-06-18

dev.to

ai-agents

I built Proofline because AI agents are getting too good at sounding finished

A developer built Proofline, a 5-skill Markdown pack that catches fake-ready output from AI agents before it becomes a release or handoff. The tool works as a review route after agent output, asking q…

// co-occurs with top 8 entities

Zero Dependency Hackathon 2026 1 Python 1 AST 1 NetworkX 1 GitPython 1 Codex 1 Markdown 1 GitHub 1

// topics top 6 topics

developer tools 2 ai products 1 ai agents 1 large language models 1 ai safety 1 generative ai 1