jonaprieto
@jonaprieto
Research Engineer. Interested in formal methods, compilers, and distributed systems.
jonaprieto.github.io/ On GitHub since February 2012
1
Published Tools
1
Total Stars
0
Weekly Downloads
59
GitHub Followers
53
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categoryjonaprieto
A
The macOS PDF reader and library manager I wished I had. Search, highlight, cite and file papers, with an MCP server so an assistant can read them without the files leaving your Mac.
...moreMCP Serverproductivity
11 dir