Skip to content

Pull requests: link-assistant/formal-ai

New pull request New
17 Open 386 Closed
17 Open 386 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

docs: document the associative technology stack
#875 opened Jul 26, 2026 by konard Contributor Loading…
1
@konard
Bound Rust development disk usage with targeted checks and sccache
#860 opened Jul 25, 2026 by konard Contributor Loading…
1
@konard
3
Make task decomposition a working task: split, atomicity and first-step from one recursion
#857 opened Jul 25, 2026 by konard Contributor Loading…
1
@konard
3
[WIP] Fact-checking: recursive disproof-first verification with context-relative probabilities over all statements (dialog-scoped by default)
#856 opened Jul 25, 2026 by konard Contributor • Draft
1
@konard
3
Summarization: merge many sources into one context, down to an identifier
#855 opened Jul 25, 2026 by konard Contributor Loading…
1
@konard
3
Replace fabricated evidence with deterministic cached source captures
#853 opened Jul 25, 2026 by konard Contributor Loading…
1
@konard
3
Task ladder for #838/#827/#826: falsifiable judging, CI gate, and 8/24 -> 16/24
#852 opened Jul 24, 2026 by konard Contributor Loading…
7 of 8 tasks
1
@konard
6
test(e2e): capture real agent TUI sessions and replays
#851 opened Jul 24, 2026 by konard Contributor Loading…
8 tasks done
1
@konard
5
feat(world-model): dialogue current/target contexts, diff from chat, bAbI-style tracking ratchet (#702)
#818 opened Jul 21, 2026 by konard Contributor Loading…
1
@konard
4
feat(701): close the auto-learning adoption gap — learned items change answers
#817 opened Jul 20, 2026 by konard Contributor Loading…
1
@konard
3
feat(benchmarks): run real upstream suites with honest scores and a scheduled ratchet
#816 opened Jul 20, 2026 by konard Contributor Loading…
1
@konard
3
E55: Compile arbitrary natural-language programs beyond the supported skill subset
#815 opened Jul 20, 2026 by konard Contributor • Draft
1
@konard
8
Plan the critical missing features as tracked sub-issues; refresh vision and roadmap
#652 opened Jul 12, 2026 by konard Contributor Loading…
1
@konard
6
Fix sidebar splitter affordance and scrolling clarity
#646 opened Jul 10, 2026 by konard Contributor Loading…
1
@konard
3
Add experimental formalization model fallback
#644 opened Jul 8, 2026 by konard Contributor Loading…
1
@konard
6
Add polished multi-framework UI skins and color themes
#643 opened Jul 8, 2026 by konard Contributor Loading…
1
@konard
46
Implement pattern inference over link-native sequences (1D/2D) — issue #531
#642 opened Jul 8, 2026 by konard Contributor Loading…
1
@konard
8
ProTip! no:milestone will show everything without a milestone.