Research software, formal verification, and open-source work on AI agent tooling.
| Project | Contribution | Status |
|---|---|---|
| Postman MCP | dotenv/events #156 #157; runner stability #158; nested folders #159 | Open |
| kiwifs | Tasks/MCP #224–#226; Kanban blocked-by #230; DQL days_ago + infer-schema #231; Docker dev #232; import field mapping #235; schema save #236; gsheets test #237; Confluence hierarchy + attachments #238 #239 |
Merged |
| Voiden | Cmd+P filters #403; GraphQL variables #405; env profile rename #406 | Open |
| mex | Drift checkers #60–#62; CLI smoke #63; stale-pattern #64 | Open |
| MCP Registry | Client-cancelled /v0/servers → 499 — #1335 |
Merged |
| ClawWork | Workspace path guard — #510 | Merged |
| git-context | --json output mode — #18 |
Open |
- researcharray —
libdimfold: lossless dimensional folding in C - afld-proof — machine-verified properties (Lean 4 / Mathlib)
Formal methods · scientific computing · agent memory · MCP · developer tools for AI workflows