| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
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 |
Formal methods · scientific computing · agent memory · MCP · developer tools for AI workflows
| Back | FazBrowse Home | New Git URL |